July 2007 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Tue Jul 3 12:14:07 CEST 2007
Ending: Tue Jul 31 13:32:06 CEST 2007
Messages: 18

• [isabelle-dev] NEWS   Clemens Ballarin
• [isabelle-dev] NEWS: New package for inductive predicates   Stefan Berghofer
• [isabelle-dev] Sledgehammer   Amine Chaieb
• [isabelle-dev] Subversion - keyword expansion by default   Florian Haftmann
• [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] AFP   Alexander Krauss
• [isabelle-dev] Renaming List.set_take_whileD?   Alexander Krauss
• [isabelle-dev] fconv_rule   Makarius
• [isabelle-dev] fconv_rule   Makarius
• [isabelle-dev] HOL-NumberTheory runtime   Makarius
• [isabelle-dev] NEWS   Makarius
• [isabelle-dev] NEWS   Makarius
• [isabelle-dev] NEWS   Makarius
• [isabelle-dev] NEWS: case/lambda syntax   Tobias Nipkow
• [isabelle-dev] AFP   Tobias Nipkow
• [isabelle-dev] Sledgehammer   Tobias Nipkow
• [isabelle-dev] fconv_rule   Lawrence Paulson

Last message date: Tue Jul 31 13:32:06 CEST 2007
Archived on: Fri Apr 12 08:42:08 CEST 2019

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...