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 |