src/HOL/Induct/Multiset.ML
1998-12-11 paulson 1998-12-11 new Close_locale synatx
1998-11-27 nipkow 1998-11-27 At last: linear arithmetic for nat!
1998-10-28 nipkow 1998-10-28 Some more proofs.
1998-10-23 oheimb 1998-10-23 corrected auto_tac (applications of unsafe wrappers)
1998-10-09 nipkow 1998-10-09 Multisets at last!