[isabelle-dev] I will start to fix my broken entries in afp-devel now

Peter Lammich lammich at in.tum.de
Tue Feb 14 10:59:18 CET 2012

Previous message (by thread): [isabelle-dev] "canonical" left-fold combinator for lists
Next message (by thread): [isabelle-dev] More SPASS with Isabelle
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

So if anyone else currently working on that, please tell me

Best,
  Peter

Previous message (by thread): [isabelle-dev] "canonical" left-fold combinator for lists
Next message (by thread): [isabelle-dev] More SPASS with Isabelle
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list