Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
+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
.
Fri, 17 Sep 1993 16:16:38 +0200
Installation of new simplifier for ZF. Deleted all congruence rules not
changeset
lcp [Fri, 17 Sep 1993 16:16:38 +0200] rev 6
Installation of new simplifier for ZF. Deleted all congruence rules not involving local assumptions. NB the congruence rules for Sigma and Pi (dependent type constructions) cause difficulties and are not used by default.
Fri, 17 Sep 1993 12:53:53 +0200
test commit
changeset
lcp [Fri, 17 Sep 1993 12:53:53 +0200] rev 5
test commit
Thu, 16 Sep 1993 17:41:10 +0200
added header
changeset
nipkow [Thu, 16 Sep 1993 17:41:10 +0200] rev 4
added header
Thu, 16 Sep 1993 16:55:17 +0200
defined local addcongs
changeset
nipkow [Thu, 16 Sep 1993 16:55:17 +0200] rev 3
defined local addcongs
Thu, 16 Sep 1993 16:25:32 +0200
moved use of Thy/ROOT.ML to end of file because Thy/read.ML needs Thm
changeset
clasohm [Thu, 16 Sep 1993 16:25:32 +0200] rev 2
moved use of Thy/ROOT.ML to end of file because Thy/read.ML needs Thm
Thu, 16 Sep 1993 14:21:44 +0200
changed addcongs to addeqcongs in simplifier.ML
changeset
nipkow [Thu, 16 Sep 1993 14:21:44 +0200] rev 1
changed addcongs to addeqcongs in simplifier.ML
(0)
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip