src/HOL/UNITY/Follows.ML
2000-10-18 wenzelm 2000-10-18 use Multiset from HOL/Library;
2000-06-22 paulson 2000-06-22 new thoerem Always_Follows2; renamed Always_Follows -> Always_Follows1
2000-06-02 paulson 2000-06-02 new parent MultisetOrder and new results about multiset unions
2000-02-29 paulson 2000-02-29 even Alloc works again, using "rename"
2000-02-09 paulson 2000-02-09 updated the Client example
2000-01-14 paulson 2000-01-14 still working; a bit of polishing
2000-01-07 paulson 2000-01-07 tidied
1999-12-22 paulson 1999-12-22 Working version after a FAILED attempt to base Follows upon LeadsETo
1999-09-20 paulson 1999-09-20 new theorem mono_Follows_apply
1999-08-26 paulson 1999-08-26 new destruction rules
1999-06-10 paulson 1999-06-10 shortened Follows to Fols
1999-05-24 paulson 1999-05-24 Theory of the "Follows" relation