isabelle: Changelog

wenzelm [Thu, 23 Jan 1997 14:05:42 +0100] rev 2544

replaces README;

wenzelm [Thu, 23 Jan 1997 13:57:31 +0100] rev 2543

dummy file required for proper HTML generation;

wenzelm [Thu, 23 Jan 1997 13:56:50 +0100] rev 2542

removed;

wenzelm [Thu, 23 Jan 1997 12:55:31 +0100] rev 2541

removed \<mu> syntax;

wenzelm [Thu, 23 Jan 1997 12:42:07 +0100] rev 2540

added symbols syntax;

wenzelm [Thu, 23 Jan 1997 10:40:21 +0100] rev 2539

turned some consts into syntax;

paulson [Thu, 23 Jan 1997 10:35:28 +0100] rev 2538

Mended spelling error

paulson [Thu, 23 Jan 1997 10:35:03 +0100] rev 2537

Added sees_Spy_partsEs

paulson [Thu, 23 Jan 1997 10:34:18 +0100] rev 2536

Tidied proofs by using "etac rev_mp" instead of applying rev_mp to result()

nipkow [Wed, 22 Jan 1997 18:17:36 +0100] rev 2535

Added warning msg when the simplifier cannot use a premise as a rewrite rule because it contains (type) unknowns.

isabelle