Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 10 Nov 2000 19:02:37 +0100
added axclass inverse and consts inverse, divide (infix "/");
changeset
wenzelm [Fri, 10 Nov 2000 19:02:37 +0100] rev 10432
added axclass inverse and consts inverse, divide (infix "/"); moved axclass power to Nat.thy;
Fri, 10 Nov 2000 19:01:33 +0100
FOL_basic_ss: simprocs moved to FOL_ss;
changeset
wenzelm [Fri, 10 Nov 2000 19:01:33 +0100] rev 10431
FOL_basic_ss: simprocs moved to FOL_ss;
Fri, 10 Nov 2000 19:00:51 +0100
added atomize_eq;
changeset
wenzelm [Fri, 10 Nov 2000 19:00:51 +0100] rev 10430
added atomize_eq;
Fri, 10 Nov 2000 19:00:22 +0100
val atomize = thms "atomize'";
changeset
wenzelm [Fri, 10 Nov 2000 19:00:22 +0100] rev 10429
val atomize = thms "atomize'";
Fri, 10 Nov 2000 16:31:28 +0100
> etc
changeset
nipkow [Fri, 10 Nov 2000 16:31:28 +0100] rev 10428
> etc
Fri, 10 Nov 2000 16:26:44 +0100
new: > and >=
changeset
nipkow [Fri, 10 Nov 2000 16:26:44 +0100] rev 10427
new: > and >=
Fri, 10 Nov 2000 15:05:09 +0100
rule inversion
changeset
nipkow [Fri, 10 Nov 2000 15:05:09 +0100] rev 10426
rule inversion
Fri, 10 Nov 2000 09:17:54 +0100
JMB -> JMPB. Email von Johannes Pfeifroth.
changeset
nipkow [Fri, 10 Nov 2000 09:17:54 +0100] rev 10425
JMB -> JMPB. Email von Johannes Pfeifroth.
Thu, 09 Nov 2000 21:38:30 +0100
updated;
changeset
wenzelm [Thu, 09 Nov 2000 21:38:30 +0100] rev 10424
updated;
Thu, 09 Nov 2000 21:38:00 +0100
fixed \title: convert "_" to "-";
changeset
wenzelm [Thu, 09 Nov 2000 21:38:00 +0100] rev 10423
fixed \title: convert "_" to "-";
Wed, 08 Nov 2000 23:04:54 +0100
tuned isabelle environment;
changeset
wenzelm [Wed, 08 Nov 2000 23:04:54 +0100] rev 10422
tuned isabelle environment;
Wed, 08 Nov 2000 17:46:24 +0100
subgoals
changeset
nipkow [Wed, 08 Nov 2000 17:46:24 +0100] rev 10421
subgoals
(0)
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
+10000
+30000
tip