| Tue, 26 Sep 2006 13:34:16 +0200 | haftmann | renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes | file | diff | annotate |
| Tue, 25 Jul 2006 21:18:00 +0200 | wenzelm | renamed Term.variant_abs to Syntax.variant_abs; | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:37 +0200 | wenzelm | Goal.prove: context; | file | diff | annotate |
| Tue, 16 May 2006 13:01:22 +0200 | wenzelm | added Ferrante and Rackoff Algorithm -- by Amine Chaieb; | file | diff | annotate |