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
.
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
Wed, 08 Nov 2000 14:38:04 +0100
*** empty log message ***
changeset
nipkow [Wed, 08 Nov 2000 14:38:04 +0100] rev 10420
*** empty log message ***
Tue, 07 Nov 2000 18:38:24 +0100
better discussion of rule induction
changeset
paulson [Tue, 07 Nov 2000 18:38:24 +0100] rev 10419
better discussion of rule induction
Tue, 07 Nov 2000 17:55:04 +0100
Thm.dest_abs now takes an additional argument.
changeset
berghofe [Tue, 07 Nov 2000 17:55:04 +0100] rev 10418
Thm.dest_abs now takes an additional argument.
Tue, 07 Nov 2000 17:53:12 +0100
Moved rewriting functions from Thm to MetaSimplifier.
changeset
berghofe [Tue, 07 Nov 2000 17:53:12 +0100] rev 10417
Moved rewriting functions from Thm to MetaSimplifier.
(0)
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip