isabelle: Changelog

paulson [Fri, 21 May 1999 10:56:46 +0200] rev 6676

preferring generic rules to specific ones...

paulson [Fri, 21 May 1999 10:50:04 +0200] rev 6675

changes to show that Lists are partially ordered by the prefix relation

paulson [Fri, 21 May 1999 10:47:07 +0200] rev 6674

deleted some vestigal theorems (use the equivalents on HOL/Ord.ML)

paulson [Wed, 19 May 1999 11:22:02 +0200] rev 6673

redid proofs to use "always" rather than "reachable" (somewhat)

paulson [Wed, 19 May 1999 11:21:34 +0200] rev 6672

new theorem Always_reachable

wenzelm [Tue, 18 May 1999 15:52:34 +0200] rev 6671

tuned;

paulson [Tue, 18 May 1999 12:36:06 +0200] rev 6670

added Locale paper

paulson [Tue, 18 May 1999 12:35:10 +0200] rev 6669

locale documentation (from Florian)

paulson [Tue, 18 May 1999 12:34:42 +0200] rev 6668

../manual.bib a new dependency

wenzelm [Mon, 17 May 1999 21:36:34 +0200] rev 6667

cleaned comments;

isabelle