Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-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
.
Fri, 13 Nov 1998 13:27:03 +0100
no longer loads Fun so that the Fun proofs can use equalities.thy
changeset
paulson [Fri, 13 Nov 1998 13:27:03 +0100] rev 5853
no longer loads Fun so that the Fun proofs can use equalities.thy
Fri, 13 Nov 1998 13:26:16 +0100
the function space operator
changeset
paulson [Fri, 13 Nov 1998 13:26:16 +0100] rev 5852
the function space operator
Thu, 12 Nov 1998 16:45:40 +0100
New section on advanced datatypes.
changeset
nipkow [Thu, 12 Nov 1998 16:45:40 +0100] rev 5851
New section on advanced datatypes.
Thu, 12 Nov 1998 16:45:17 +0100
*** empty log message ***
changeset
nipkow [Thu, 12 Nov 1998 16:45:17 +0100] rev 5850
*** empty log message ***
Thu, 12 Nov 1998 11:27:36 +0100
mesontest2.ML was never needed in the distribution
changeset
paulson [Thu, 12 Nov 1998 11:27:36 +0100] rev 5849
mesontest2.ML was never needed in the distribution
Thu, 12 Nov 1998 10:26:08 +0100
changed inverse syntax from x-| to i(x)
changeset
paulson [Thu, 12 Nov 1998 10:26:08 +0100] rev 5848
changed inverse syntax from x-| to i(x)
Wed, 11 Nov 1998 15:49:15 +0100
proved surjI
changeset
paulson [Wed, 11 Nov 1998 15:49:15 +0100] rev 5847
proved surjI
Wed, 11 Nov 1998 15:45:32 +0100
tidied
changeset
paulson [Wed, 11 Nov 1998 15:45:32 +0100] rev 5846
tidied
Wed, 11 Nov 1998 15:44:24 +0100
Big simplification of proofs.
changeset
paulson [Wed, 11 Nov 1998 15:44:24 +0100] rev 5845
Big simplification of proofs. Deleted lots of unnecessary theorems
Tue, 10 Nov 1998 16:28:08 +0100
tiny changes;
changeset
mueller [Tue, 10 Nov 1998 16:28:08 +0100] rev 5844
tiny changes;
(0)
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip