Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-30
-10
-3
+3
+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
.
Mon, 27 Feb 1995 17:08:51 +0100
Added integer numerals (mostly due to Markus Wenzel)
changeset
lcp [Mon, 27 Feb 1995 17:08:51 +0100] rev 905
Added integer numerals (mostly due to Markus Wenzel) renamed the infix 2239 to the constant Bcons, as numerals eliminate the need for the infix.
Mon, 27 Feb 1995 17:06:19 +0100
Proved zadd_left_commute and zmult_left_commute to define
changeset
lcp [Mon, 27 Feb 1995 17:06:19 +0100] rev 904
Proved zadd_left_commute and zmult_left_commute to define zadd_ac and zmult_ac. Deleted add_cong, add_kill and add_left_commute_kill as unused. Defined zadd_simps, zminus_simps, zmult_simps and added them to integ_ss.
Mon, 27 Feb 1995 16:58:59 +0100
New shell script for finding orphan .ML files (those with no
changeset
lcp [Mon, 27 Feb 1995 16:58:59 +0100] rev 903
New shell script for finding orphan .ML files (those with no .thy file)
(0)
-300
-100
-30
-10
-3
+3
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip