Fri, 01 Nov 2002 17:44:26 +0100 proof streamlining
paulson [Fri, 01 Nov 2002 17:44:26 +0100] rev 13692
proof streamlining
Fri, 01 Nov 2002 17:43:54 +0100 tidy
paulson [Fri, 01 Nov 2002 17:43:54 +0100] rev 13691
tidy
Fri, 01 Nov 2002 13:16:28 +0100 Inserted some extra paragraphs in large proofs to make tex run...
schirmer [Fri, 01 Nov 2002 13:16:28 +0100] rev 13690
Inserted some extra paragraphs in large proofs to make tex run...
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 ***
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip