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
|
Thu, 22 Dec 2005 00:29:15 +0100 |
wenzelm |
added Provers/project_rule.ML
|
file |
diff |
annotate
|
Wed, 21 Dec 2005 12:06:08 +0100 |
paulson |
new hash table module in HOL/Too/s
|
file |
diff |
annotate
|
Fri, 16 Dec 2005 12:15:54 +0100 |
paulson |
hashing to eliminate the output of duplicate clauses
|
file |
diff |
annotate
|
Wed, 19 Oct 2005 21:52:31 +0200 |
wenzelm |
removed obsolete HOL/thy_syntax.ML;
|
file |
diff |
annotate
|
Fri, 24 Jun 2005 16:21:01 +0200 |
paulson |
deleted a redundant "use" line
|
file |
diff |
annotate
|
Mon, 20 Jun 2005 22:13:56 +0200 |
wenzelm |
removed obsolete print_depth;
|
file |
diff |
annotate
|
Sun, 22 May 2005 16:51:07 +0200 |
wenzelm |
Simplifier already setup in Pure;
|
file |
diff |
annotate
|
Thu, 02 Dec 2004 11:09:19 +0100 |
paulson |
new CLAUSIFY attribute for proof reconstruction with lemmas
|
file |
diff |
annotate
|