| Fri, 20 Mar 2009 15:24:18 +0100 |
wenzelm |
eliminated global SIMPSET, CLASET etc. -- refer to explicit context;
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 18:24:30 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2007 21:10:36 +0200 |
wenzelm |
tuned ML bindings (for multithreading);
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 11:28:13 +0200 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 15:54:39 +0200 |
paulson |
fixed a faulty proof
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Tue, 01 Feb 2005 18:01:57 +0100 |
paulson |
the new subst tactic, by Lucas Dixon
|
file |
diff |
annotate
|
| Wed, 29 Sep 2004 13:58:40 +0200 |
paulson |
tidying up; identifying the main theorems
|
file |
diff |
annotate
|
| Thu, 23 Sep 2004 12:48:49 +0200 |
paulson |
some x-symbols
|
file |
diff |
annotate
|
| Wed, 12 Nov 2003 10:58:23 +0100 |
paulson |
tidied
|
file |
diff |
annotate
|
| Fri, 26 Sep 2003 10:32:26 +0200 |
paulson |
Tidying of SET's "possibility theorems" (removal of Key_supply_ax)
|
file |
diff |
annotate
|
| Tue, 23 Sep 2003 15:40:27 +0200 |
paulson |
new session HOL-SET-Protocol
|
file |
diff |
annotate
|