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
.
Wed, 23 Feb 2005 10:23:22 +0100
suminf -> \<Sum>
changeset
nipkow [Wed, 23 Feb 2005 10:23:22 +0100] rev 15546
suminf -> \<Sum>
Tue, 22 Feb 2005 18:42:22 +0100
Lucas - fixed bug in zero_var_indexes: it was ignoring vars in the flex-flex pairs. These are now taken into account.
changeset
dixon [Tue, 22 Feb 2005 18:42:22 +0100] rev 15545
Lucas - fixed bug in zero_var_indexes: it was ignoring vars in the flex-flex pairs. These are now taken into account.
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
(0)
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip