| Mon, 15 Oct 2001 20:42:06 +0200 |
wenzelm |
setsum syntax;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2000 23:42:18 +0200 |
wenzelm |
use Multiset from HOL/Library;
|
file |
diff |
annotate
|
| Thu, 22 Jun 2000 11:34:48 +0200 |
paulson |
new thoerem Always_Follows2; renamed Always_Follows -> Always_Follows1
|
file |
diff |
annotate
|
| Fri, 02 Jun 2000 17:46:16 +0200 |
paulson |
new parent MultisetOrder and new results about multiset unions
|
file |
diff |
annotate
|
| Tue, 29 Feb 2000 10:57:30 +0100 |
paulson |
even Alloc works again, using "rename"
|
file |
diff |
annotate
|
| Wed, 09 Feb 2000 11:45:10 +0100 |
paulson |
updated the Client example
|
file |
diff |
annotate
|
| Fri, 14 Jan 2000 12:17:53 +0100 |
paulson |
still working; a bit of polishing
|
file |
diff |
annotate
|
| Fri, 07 Jan 2000 11:04:15 +0100 |
paulson |
tidied
|
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
|
| Mon, 20 Sep 1999 10:45:30 +0200 |
paulson |
new theorem mono_Follows_apply
|
file |
diff |
annotate
|
| Thu, 26 Aug 1999 11:37:43 +0200 |
paulson |
new destruction rules
|
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
|