Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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 May 1995 22:10:08 +0200
Prod is now a parent of Lfp.
changeset
nipkow [Tue, 09 May 1995 22:10:08 +0200] rev 1114
Prod is now a parent of Lfp. Added thm induct2 to Lfp. Changed the way patterns in abstractions are pretty printed. It has become simpler now but fails if split has more than one argument because then the ast-translation does not match.
Tue, 09 May 1995 10:43:19 +0200
converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex
changeset
clasohm [Tue, 09 May 1995 10:43:19 +0200] rev 1113
converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex
Tue, 09 May 1995 10:42:23 +0200
added \CHOL
changeset
clasohm [Tue, 09 May 1995 10:42:23 +0200] rev 1112
added \CHOL
Thu, 04 May 1995 14:57:06 +0200
Calls 'rail' program for syntax diagrams
changeset
lcp [Thu, 04 May 1995 14:57:06 +0200] rev 1111
Calls 'rail' program for syntax diagrams
Thu, 04 May 1995 02:02:54 +0200
Changed some definitions and proofs to use pattern-matching.
changeset
lcp [Thu, 04 May 1995 02:02:54 +0200] rev 1110
Changed some definitions and proofs to use pattern-matching.
Thu, 04 May 1995 02:02:18 +0200
Changed to use split instead of fsplit. The weakening of fsplitE appears not
changeset
lcp [Thu, 04 May 1995 02:02:18 +0200] rev 1109
Changed to use split instead of fsplit. The weakening of fsplitE appears not to affect existing proofs.
(0)
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip