isabelle: Changelog

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.

nipkow [Tue, 21 Jan 1997 11:29:28 +0100] rev 2534

Modified MiniML. Added W0.

paulson [Tue, 21 Jan 1997 10:58:32 +0100] rev 2533

Simplified proofs

paulson [Tue, 21 Jan 1997 10:54:05 +0100] rev 2532

Improved layout and updated comments

nipkow [Mon, 20 Jan 1997 18:29:26 +0100] rev 2531

Improved text.

paulson [Mon, 20 Jan 1997 10:27:45 +0100] rev 2530

Now requests runtimes of all theories

paulson [Mon, 20 Jan 1997 10:20:58 +0100] rev 2529

Simplified Oops case of main theorem

paulson [Mon, 20 Jan 1997 10:18:47 +0100] rev 2528

Documents the new command "prlim"

isabelle