| 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
|
| Wed, 22 Jul 2009 18:02:10 +0200 |
haftmann |
moved complete_lattice &c. into separate theory
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 18:24:30 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
simplified attribute setup;
|
file |
diff |
annotate
|
| Fri, 13 Mar 2009 19:58:26 +0100 |
wenzelm |
unified type Proof.method and pervasive METHOD combinators;
|
file |
diff |
annotate
|
| Sun, 27 Jan 2008 22:21:39 +0100 |
wenzelm |
rename_client_map_tac: avoid ill-defined thm reference;
|
file |
diff |
annotate
|
| Fri, 03 Aug 2007 20:19:41 +0200 |
wenzelm |
misc cleanup of ML bindings (for multihreading);
|
file |
diff |
annotate
|
| Fri, 08 Dec 2006 18:22:28 +0100 |
paulson |
patched up the proofs agsin
|
file |
diff |
annotate
|
| Wed, 06 Dec 2006 01:12:36 +0100 |
wenzelm |
removed legacy ML bindings;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 00:05:47 +0100 |
wenzelm |
converted legacy ML script;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2005 21:00:30 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Thu, 22 Jul 2004 17:37:31 +0200 |
nipkow |
Modified \<Sum> syntax a little.
|
file |
diff |
annotate
|
| Mon, 15 Oct 2001 20:42:06 +0200 |
wenzelm |
setsum syntax;
|
file |
diff |
annotate
|
| Mon, 05 Mar 2001 15:32:54 +0100 |
paulson |
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
|
file |
diff |
annotate
|