| Sun, 14 Oct 2001 22:08:29 +0200 | wenzelm | moved rulify to ObjectLogic; | file | diff | annotate |
| Thu, 07 Sep 2000 21:12:49 +0200 | wenzelm | tuned ML code (the_context, bind_thms(s)); | file | diff | annotate |
| Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |
| Wed, 27 Jan 1999 10:31:31 +0100 | paulson | new typechecking solver for the simplifier | file | diff | annotate |
| Fri, 17 Oct 1997 17:40:33 +0200 | wenzelm | obselete 'end' hack; | file | diff | annotate |
| Wed, 02 Apr 1997 15:28:42 +0200 | paulson | Moved definitions (binary intersection, etc.) from upair.thy back to ZF.thy | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
| Tue, 16 Nov 1993 14:24:21 +0100 | clasohm | made pseudo theories for all ML files; | file | diff | annotate |