Thu, 22 Jul 2010 18:08:39 +0200 |
wenzelm |
updated some headers;
|
file |
diff |
annotate
|
Mon, 21 Sep 2009 15:33:39 +0200 |
haftmann |
tuned header
|
file |
diff |
annotate
|
Thu, 23 Jul 2009 18:44:09 +0200 |
wenzelm |
renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
|
file |
diff |
annotate
|
Mon, 16 Mar 2009 18:24:30 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
Fri, 13 Mar 2009 19:58:26 +0100 |
wenzelm |
unified type Proof.method and pervasive METHOD combinators;
|
file |
diff |
annotate
|
Wed, 01 Aug 2007 20:25:16 +0200 |
wenzelm |
tuned ML bindings (for multithreading);
|
file |
diff |
annotate
|
Sat, 21 Jul 2007 23:25:00 +0200 |
wenzelm |
tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
|
file |
diff |
annotate
|
Mon, 11 Jun 2007 11:06:04 +0200 |
chaieb |
tuned Proof
|
file |
diff |
annotate
|
Fri, 01 Dec 2006 17:22:28 +0100 |
haftmann |
stripped some legacy bindings
|
file |
diff |
annotate
|
Wed, 29 Nov 2006 15:44:51 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
Thu, 28 Sep 2006 23:42:35 +0200 |
wenzelm |
replaced syntax/translations by abbreviation;
|
file |
diff |
annotate
|
Sat, 08 Jul 2006 12:54:36 +0200 |
wenzelm |
tactic/method simpset: maintain proper context;
|
file |
diff |
annotate
|
Mon, 23 Jan 2006 11:36:05 +0100 |
paulson |
replacement of bool by a datatype (making problems first-order). More lemma names
|
file |
diff |
annotate
|
Wed, 04 Jan 2006 16:13:53 +0100 |
paulson |
a few more named lemmas
|
file |
diff |
annotate
|