| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Mon, 22 Feb 2010 09:15:12 +0100 |
haftmann |
tuned proofs
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
| Mon, 21 Sep 2009 14:23:04 +0200 |
haftmann |
tuned proof; tuned headers
|
file |
diff |
annotate
|
| Fri, 08 Dec 2006 18:22:28 +0100 |
paulson |
patched up the proofs agsin
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Tue, 03 Aug 2004 13:48:00 +0200 |
paulson |
new simprules Int_subset_iff and Un_subset_iff
|
file |
diff |
annotate
|
| Sat, 08 Feb 2003 16:05:33 +0100 |
paulson |
converting HOL/UNITY to use unconditional fairness
|
file |
diff |
annotate
|
| Tue, 04 Feb 2003 18:12:40 +0100 |
paulson |
some x-symbols
|
file |
diff |
annotate
|
| Fri, 31 Jan 2003 20:12:44 +0100 |
paulson |
conversion to new-style theories and tidying
|
file |
diff |
annotate
|
| Thu, 30 Jan 2003 10:35:56 +0100 |
paulson |
converting more UNITY theories to new-style
|
file |
diff |
annotate
|
| Wed, 18 Oct 2000 23:42:18 +0200 |
wenzelm |
use Multiset from HOL/Library;
|
file |
diff |
annotate
|
| Fri, 02 Jun 2000 17:46:16 +0200 |
paulson |
new parent MultisetOrder and new results about multiset unions
|
file |
diff |
annotate
|
| Wed, 24 May 2000 18:40:01 +0200 |
paulson |
restructuring: LessThan.ML mostly moved to HOL/SetInterval.ML
|
file |
diff |
annotate
|
| Fri, 14 Jan 2000 12:17:53 +0100 |
paulson |
still working; a bit of polishing
|
file |
diff |
annotate
|
| Thu, 13 Jan 2000 17:30:23 +0100 |
paulson |
working version, with Alloc now working on the same state space as the whole
|
file |
diff |
annotate
|
| Wed, 22 Dec 1999 17:18:03 +0100 |
paulson |
Working version after a FAILED attempt to base Follows upon LeadsETo
|
file |
diff |
annotate
|
| Thu, 10 Jun 1999 10:38:11 +0200 |
paulson |
shortened Follows to Fols
|
file |
diff |
annotate
|
| Mon, 24 May 1999 15:47:06 +0200 |
paulson |
Theory of the "Follows" relation
|
file |
diff |
annotate
|