isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 13 Dec 1996 17:29:22 +0100 binder_tr': applied fix_tr';

changeset

wenzelm [Fri, 13 Dec 1996 17:29:22 +0100] rev 2381

binder_tr': applied fix_tr';

Fri, 13 Dec 1996 12:01:26 +0100 Dummy change to document the change in revision 1.5:

changeset

sandnerr [Fri, 13 Dec 1996 12:01:26 +0100] rev 2380

Dummy change to document the change in revision 1.5: Parent theory changed to HOLCF.thy (former Tr2.thy) . Was necessary because the use of HOLCF_ss in Hoare.ML, which has been extended by the introduction of the Lift theories.

Fri, 13 Dec 1996 11:46:20 +0100 ex/Hoare.thy

changeset

sandnerr [Fri, 13 Dec 1996 11:46:20 +0100] rev 2379

ex/Hoare.thy

Fri, 13 Dec 1996 11:00:44 +0100 Removed needless quotation marks

changeset

paulson [Fri, 13 Dec 1996 11:00:44 +0100] rev 2378

Removed needless quotation marks

Fri, 13 Dec 1996 10:57:50 +0100 Streamlined many proofs

changeset

paulson [Fri, 13 Dec 1996 10:57:50 +0100] rev 2377

Streamlined many proofs

Fri, 13 Dec 1996 10:42:58 +0100 Temporary additions (random) for the nested Otway-Rees protocol

changeset

paulson [Fri, 13 Dec 1996 10:42:58 +0100] rev 2376

Temporary additions (random) for the nested Otway-Rees protocol They will need to be rationalized

Fri, 13 Dec 1996 10:20:55 +0100 Streamlined some proofs

changeset

paulson [Fri, 13 Dec 1996 10:20:55 +0100] rev 2375

Streamlined some proofs

Fri, 13 Dec 1996 10:18:48 +0100 Streamlined many proofs

changeset

paulson [Fri, 13 Dec 1996 10:18:48 +0100] rev 2374

Streamlined many proofs

(0) -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom