| Wed, 31 Dec 2008 19:54:03 +0100 | wenzelm | qualified Term.rename_wrt_term; | file | diff | annotate |
| Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
| Sat, 11 Mar 2006 21:23:10 +0100 | wenzelm | got rid of type Sign.sg; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Tue, 03 Aug 2004 14:47:51 +0200 | ballarin | New transitivity reasoners for transitivity only and quasi orders. | file | diff | annotate |