Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
added show_main_goal
2002-11-07, by nipkow
Hoare.ML -> hoare.ML
2002-11-06, by nipkow
a new pointer example and some syntactic sugar
2002-11-06, by nipkow
two new Bali files
2002-11-05, by kleing
new operator transrec3
2002-11-05, by paulson
Removed obsolete section about reordering assumptions.
2002-11-04, by berghofe
proof streamlining
2002-11-01, by paulson
tidy
2002-11-01, by paulson
Inserted some extra paragraphs in large proofs to make tex run...
2002-11-01, by schirmer
fixed "latex capacity exceeded"
2002-11-01, by kleing
"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.
2002-10-31, by schirmer
simpler separation/replacement proofs
2002-10-30, by paulson
modified msg
2002-10-30, by nipkow
added induction thms
2002-10-29, by nipkow
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip