Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-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
.
Tue, 22 Feb 2005 13:05:47 +0100
removed redundant lemmas and simprules
changeset
paulson [Tue, 22 Feb 2005 13:05:47 +0100] rev 15544
removed redundant lemmas and simprules
Tue, 22 Feb 2005 10:54:30 +0100
more setsum tuning
changeset
nipkow [Tue, 22 Feb 2005 10:54:30 +0100] rev 15543
more setsum tuning
Mon, 21 Feb 2005 19:23:46 +0100
more fine tuniung
changeset
nipkow [Mon, 21 Feb 2005 19:23:46 +0100] rev 15542
more fine tuniung
Mon, 21 Feb 2005 18:04:28 +0100
fixed proof
changeset
nipkow [Mon, 21 Feb 2005 18:04:28 +0100] rev 15541
fixed proof
Mon, 21 Feb 2005 15:57:45 +0100
removed superfluous setsum_constant
changeset
nipkow [Mon, 21 Feb 2005 15:57:45 +0100] rev 15540
removed superfluous setsum_constant
Mon, 21 Feb 2005 15:04:10 +0100
comprehensive cleanup, replacing sumr by setsum
changeset
nipkow [Mon, 21 Feb 2005 15:04:10 +0100] rev 15539
comprehensive cleanup, replacing sumr by setsum
Sat, 19 Feb 2005 18:44:34 +0100
lucas - re-arranged code and added comments. Also added check to make sure the subgoal that we are being applied to exists. If it does not, empty seq is returned.
changeset
dixon [Sat, 19 Feb 2005 18:44:34 +0100] rev 15538
lucas - re-arranged code and added comments. Also added check to make sure the subgoal that we are being applied to exists. If it does not, empty seq is returned.
Fri, 18 Feb 2005 15:20:27 +0100
continued eliminating sumr
changeset
nipkow [Fri, 18 Feb 2005 15:20:27 +0100] rev 15537
continued eliminating sumr
Fri, 18 Feb 2005 11:48:53 +0100
starting to get rid of sumr
changeset
nipkow [Fri, 18 Feb 2005 11:48:53 +0100] rev 15536
starting to get rid of sumr
Fri, 18 Feb 2005 11:48:42 +0100
tuning
changeset
nipkow [Fri, 18 Feb 2005 11:48:42 +0100] rev 15535
tuning
(0)
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip