Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 05 Nov 2002 15:59:17 +0100 two new Bali files
changeset
kleing [Tue, 05 Nov 2002 15:59:17 +0100] rev 13695
two new Bali files
Tue, 05 Nov 2002 15:51:18 +0100 new operator transrec3
changeset
paulson [Tue, 05 Nov 2002 15:51:18 +0100] rev 13694
new operator transrec3
Mon, 04 Nov 2002 14:17:00 +0100 Removed obsolete section about reordering assumptions.
changeset
berghofe [Mon, 04 Nov 2002 14:17:00 +0100] rev 13693
Removed obsolete section about reordering assumptions.
Fri, 01 Nov 2002 17:44:26 +0100 proof streamlining
changeset
paulson [Fri, 01 Nov 2002 17:44:26 +0100] rev 13692
proof streamlining
Fri, 01 Nov 2002 17:43:54 +0100 tidy
changeset
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...
changeset
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"
changeset
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.
changeset
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
changeset
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
changeset
nipkow [Wed, 30 Oct 2002 12:18:23 +0100] rev 13686
modified msg
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle