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 |