Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Tue, 09 Jan 2007 19:08:59 +0100
activated new class code
changeset
haftmann [Tue, 09 Jan 2007 19:08:59 +0100] rev 22048
activated new class code
Tue, 09 Jan 2007 19:08:58 +0100
handling for "undefined" in case expressions
changeset
haftmann [Tue, 09 Jan 2007 19:08:58 +0100] rev 22047
handling for "undefined" in case expressions
Tue, 09 Jan 2007 19:08:56 +0100
named preprocessors
changeset
haftmann [Tue, 09 Jan 2007 19:08:56 +0100] rev 22046
named preprocessors
Tue, 09 Jan 2007 18:13:55 +0100
The "of 1, simplified" stopped working some time ago, leaving these simprules
changeset
paulson [Tue, 09 Jan 2007 18:13:55 +0100] rev 22045
The "of 1, simplified" stopped working some time ago, leaving these simprules open to looking. Now, explicit lemma statements ensure that the correct formula is proved.
Tue, 09 Jan 2007 18:12:59 +0100
More compact proof reconstruction: lines having fewer than !min_deps dependences are folded
changeset
paulson [Tue, 09 Jan 2007 18:12:59 +0100] rev 22044
More compact proof reconstruction: lines having fewer than !min_deps dependences are folded into the rest of the proof.
Tue, 09 Jan 2007 15:49:39 +0100
simplified the resoution proofs
changeset
paulson [Tue, 09 Jan 2007 15:49:39 +0100] rev 22043
simplified the resoution proofs
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip