Fri, 01 Nov 2002 10:35:50 +0100 fixed "latex capacity exceeded"
kleing [Fri, 01 Nov 2002 10:35:50 +0100] rev 13689
fixed "latex capacity exceeded"
Thu, 31 Oct 2002 18:27:10 +0100 "Definite Assignment Analysis" included, with proof of correctness. Large adjustments of type safety proof and soundness proof of the axiomatic semantics were necessary. Completeness proof of the loop rule of the axiomatic semantic was altered. So the additional polymorphic variants of some rules could be removed.
schirmer [Thu, 31 Oct 2002 18:27:10 +0100] rev 13688
"Definite Assignment Analysis" included, with proof of correctness. Large adjustments of type safety proof and soundness proof of the axiomatic semantics were necessary. Completeness proof of the loop rule of the axiomatic semantic was altered. So the additional polymorphic variants of some rules could be removed.
Wed, 30 Oct 2002 12:44:18 +0100 simpler separation/replacement proofs
paulson [Wed, 30 Oct 2002 12:44:18 +0100] rev 13687
simpler separation/replacement proofs
Wed, 30 Oct 2002 12:18:23 +0100 modified msg
nipkow [Wed, 30 Oct 2002 12:18:23 +0100] rev 13686
modified msg
Tue, 29 Oct 2002 11:32:52 +0100 added induction thms
nipkow [Tue, 29 Oct 2002 11:32:52 +0100] rev 13685
added induction thms
Mon, 28 Oct 2002 17:56:00 +0100 moved fac example
nipkow [Mon, 28 Oct 2002 17:56:00 +0100] rev 13684
moved fac example
Mon, 28 Oct 2002 14:30:37 +0100 *** empty log message ***
nipkow [Mon, 28 Oct 2002 14:30:37 +0100] rev 13683
*** empty log message ***
Mon, 28 Oct 2002 14:29:51 +0100 conversion ML -> thy
nipkow [Mon, 28 Oct 2002 14:29:51 +0100] rev 13682
conversion ML -> thy
Sun, 27 Oct 2002 23:34:02 +0100 simplified lemma correct_frames_newref
kleing [Sun, 27 Oct 2002 23:34:02 +0100] rev 13681
simplified lemma correct_frames_newref
Sat, 26 Oct 2002 13:05:27 +0200 switched to atbroy51, removed markus from email list
isatest [Sat, 26 Oct 2002 13:05:27 +0200] rev 13680
switched to atbroy51, removed markus from email list
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip