Wed, 27 Dec 2006 19:09:58 +0100 | haftmann | removed Main.thy | file | diff | annotate |
Wed, 08 Nov 2006 13:48:35 +0100 | wenzelm | added structure Main (from Main.ML); | file | diff | annotate |
Sun, 11 Jun 2006 00:28:18 +0200 | dixon | added updated version of IsaPlanner and substitution. | file | diff | annotate |
Thu, 02 Mar 2006 18:49:13 +0100 | paulson | moved the "use" directive | file | diff | annotate |
Wed, 01 Mar 2006 06:06:16 +0100 | mengj | Added file Tools/res_atpset.ML. | file | diff | annotate |
Fri, 06 Jan 2006 18:18:13 +0100 | wenzelm | simplified EqSubst setup; | file | diff | annotate |
Sat, 31 Dec 2005 21:49:36 +0100 | wenzelm | removed obsolete Provers/make_elim.ML; | file | diff | annotate |