Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
Thu, 29 Mar 2007 14:21:45 +0200 | haftmann | dropped legacy ML bindings | file | diff | annotate |
Thu, 07 Dec 2006 23:16:55 +0100 | wenzelm | reorganized structure Tactic vs. MetaSimplifier; | file | diff | annotate |
Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
Fri, 20 Oct 2006 17:07:26 +0200 | haftmann | slight cleanup | file | diff | annotate |
Wed, 06 Sep 2006 13:48:02 +0200 | haftmann | got rid of Numeral.bin type | file | diff | annotate |
Thu, 08 Jun 2006 14:08:43 +0200 | chaieb | Splitting order changed. | file | diff | annotate |
Tue, 16 May 2006 13:01:22 +0200 | wenzelm | added Ferrante and Rackoff Algorithm -- by Amine Chaieb; | file | diff | annotate |