Mercurial Mercurial > hg > isabelle-cookbook / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -50 -30 +30 +50 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 28 Jun 2011 09:22:00 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 28 Jun 2011 09:22:00 +0100] rev 471
updated to new Isabelle
Tue, 28 Jun 2011 08:44:34 +0100 binding in antiquotations
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 28 Jun 2011 08:44:34 +0100] rev 470
binding in antiquotations
Tue, 21 Jun 2011 12:53:16 +0100 added an excercise originally by Jasmin Blanchette
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 21 Jun 2011 12:53:16 +0100] rev 469
added an excercise originally by Jasmin Blanchette
Mon, 20 Jun 2011 13:59:58 +0100 more polishing
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 20 Jun 2011 13:59:58 +0100] rev 468
more polishing
Mon, 20 Jun 2011 00:30:32 +0100 soem polishing
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 20 Jun 2011 00:30:32 +0100] rev 467
soem polishing
Fri, 17 Jun 2011 16:58:05 +0100 a little polishing
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 17 Jun 2011 16:58:05 +0100] rev 466
a little polishing
Tue, 14 Jun 2011 22:09:40 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 14 Jun 2011 22:09:40 +0100] rev 465
updated to new Isabelle
Tue, 17 May 2011 19:46:53 +0200 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 19:46:53 +0200] rev 464
updated to new Isabelle
Tue, 17 May 2011 19:25:33 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 19:25:33 +0200] rev 463
merged
Tue, 17 May 2011 18:11:21 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 May 2011 18:11:21 +0100] rev 462
updated to new Isabelle
Tue, 19 Apr 2011 13:02:43 +0100 updated
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Apr 2011 13:02:43 +0100] rev 461
updated
Thu, 07 Apr 2011 00:25:26 +0100 Updated to changes in timing structure
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 07 Apr 2011 00:25:26 +0100] rev 460
Updated to changes in timing structure
Fri, 18 Mar 2011 02:53:14 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 18 Mar 2011 02:53:14 +0100] rev 459
updated to new Isabelle
Wed, 23 Feb 2011 23:55:37 +0000 updated to post-2011 Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 23 Feb 2011 23:55:37 +0000] rev 458
updated to post-2011 Isabelle
Fri, 29 Oct 2010 13:46:37 +0200 'Iff_Oracle.thy' has moved
changeset
griff [Fri, 29 Oct 2010 13:46:37 +0200] rev 457
'Iff_Oracle.thy' has moved
Fri, 29 Oct 2010 13:16:45 +0200 'nat_number' was renamed to 'eval_nat_numeral'
changeset
griff [Fri, 29 Oct 2010 13:16:45 +0200] rev 456
'nat_number' was renamed to 'eval_nat_numeral'
Fri, 29 Oct 2010 13:10:33 +0200 tracing_fn was moved to Output.Private_Hooks
changeset
griff [Fri, 29 Oct 2010 13:10:33 +0200] rev 455
tracing_fn was moved to Output.Private_Hooks
Fri, 29 Oct 2010 13:00:33 +0200 corrected AFP name
changeset
griff [Fri, 29 Oct 2010 13:00:33 +0200] rev 454
corrected AFP name
Fri, 29 Oct 2010 12:57:44 +0200 singular?
changeset
griff [Fri, 29 Oct 2010 12:57:44 +0200] rev 453
singular?
Fri, 29 Oct 2010 12:51:44 +0200 added missing 'of'
changeset
griff [Fri, 29 Oct 2010 12:51:44 +0200] rev 452
added missing 'of'
Fri, 29 Oct 2010 11:00:37 +0100 disabled foobar_prove; updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 29 Oct 2010 11:00:37 +0100] rev 451
disabled foobar_prove; updated to new Isabelle
Sat, 28 Aug 2010 13:37:25 +0800 a bit closer to the new conventions of naming HOL-constants
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 28 Aug 2010 13:37:25 +0800] rev 450
a bit closer to the new conventions of naming HOL-constants
Sat, 28 Aug 2010 13:27:16 +0800 updated to new isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 28 Aug 2010 13:27:16 +0800] rev 449
updated to new isabelle
Sun, 22 Aug 2010 22:56:52 +0800 added something about Goal.prove_multi
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 22 Aug 2010 22:56:52 +0800] rev 448
added something about Goal.prove_multi
Fri, 13 Aug 2010 18:52:16 +0800 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 13 Aug 2010 18:52:16 +0800] rev 447
tuned
Fri, 13 Aug 2010 18:42:58 +0800 added an example to be used for conversions later on
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 13 Aug 2010 18:42:58 +0800] rev 446
added an example to be used for conversions later on
Fri, 13 Aug 2010 18:05:30 +0800 updated to new isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 13 Aug 2010 18:05:30 +0800] rev 445
updated to new isabelle
Wed, 28 Jul 2010 20:59:57 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 28 Jul 2010 20:59:57 +0100] rev 444
merged
Wed, 28 Jul 2010 20:52:42 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 28 Jul 2010 20:52:42 +0100] rev 443
merged
Wed, 28 Jul 2010 11:47:21 +0100 updated to new isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 28 Jul 2010 11:47:21 +0100] rev 442
updated to new isabelle
(0) -300 -100 -50 -30 +30 +50 +100 tip
isabelle-cookbook