Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 07 Dec 2007 15:07:59 +0100 instantiation target rather than legacy instance
changeset
haftmann [Fri, 07 Dec 2007 15:07:59 +0100] rev 25571
instantiation target rather than legacy instance
Fri, 07 Dec 2007 15:07:56 +0100 proper treatment of code theorems for primrec
changeset
haftmann [Fri, 07 Dec 2007 15:07:56 +0100] rev 25570
proper treatment of code theorems for primrec
Fri, 07 Dec 2007 15:07:54 +0100 dropped Instance.instantiate
changeset
haftmann [Fri, 07 Dec 2007 15:07:54 +0100] rev 25569
dropped Instance.instantiate
Fri, 07 Dec 2007 10:59:03 +0100 Adding "ex/Induction_Scheme.thy" to tests
changeset
krauss [Fri, 07 Dec 2007 10:59:03 +0100] rev 25568
Adding "ex/Induction_Scheme.thy" to tests
Fri, 07 Dec 2007 09:42:20 +0100 experimental version of automated induction scheme generator (cf. HOL/ex/Induction_Scheme.thy)
changeset
krauss [Fri, 07 Dec 2007 09:42:20 +0100] rev 25567
experimental version of automated induction scheme generator (cf. HOL/ex/Induction_Scheme.thy)
Fri, 07 Dec 2007 08:38:50 +0100 tuned further
changeset
haftmann [Fri, 07 Dec 2007 08:38:50 +0100] rev 25566
tuned further
Thu, 06 Dec 2007 22:07:11 +0100 renamed ML_PID to PID;
changeset
wenzelm [Thu, 06 Dec 2007 22:07:11 +0100] rev 25565
renamed ML_PID to PID;
Thu, 06 Dec 2007 19:58:21 +0100 R&F: added sgn lemma
changeset
nipkow [Thu, 06 Dec 2007 19:58:21 +0100] rev 25564
R&F: added sgn lemma Prefix: sledge-hammered
Thu, 06 Dec 2007 17:05:44 +0100 temporary code generator work arounds
changeset
haftmann [Thu, 06 Dec 2007 17:05:44 +0100] rev 25563
temporary code generator work arounds
Thu, 06 Dec 2007 16:56:00 +0100 fixed slip
changeset
haftmann [Thu, 06 Dec 2007 16:56:00 +0100] rev 25562
fixed slip
Thu, 06 Dec 2007 16:38:42 +0100 -authentic primrec
changeset
haftmann [Thu, 06 Dec 2007 16:38:42 +0100] rev 25561
-authentic primrec
Thu, 06 Dec 2007 16:36:21 +0100 dropped legacy bindings
changeset
haftmann [Thu, 06 Dec 2007 16:36:21 +0100] rev 25560
dropped legacy bindings
Thu, 06 Dec 2007 16:36:19 +0100 authentic primrec
changeset
haftmann [Thu, 06 Dec 2007 16:36:19 +0100] rev 25559
authentic primrec
Thu, 06 Dec 2007 15:10:12 +0100 dropped void space
changeset
haftmann [Thu, 06 Dec 2007 15:10:12 +0100] rev 25558
dropped void space
Thu, 06 Dec 2007 15:10:09 +0100 added new primrec package
changeset
haftmann [Thu, 06 Dec 2007 15:10:09 +0100] rev 25557
added new primrec package
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle