Mercurial Mercurial > hg > isabelle-cookbook / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -60 +60 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 24 May 2010 20:02:11 +0100 added phi for morphisms
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 24 May 2010 20:02:11 +0100] rev 425
added phi for morphisms
Mon, 17 May 2010 18:20:48 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 18:20:48 +0100] rev 424
updated to new Isabelle
Mon, 17 May 2010 17:27:21 +0100 updated to new isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 17:27:21 +0100] rev 423
updated to new isabelle
Mon, 26 Apr 2010 05:20:01 +0200 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 26 Apr 2010 05:20:01 +0200] rev 422
updated to new Isabelle
Sat, 24 Apr 2010 22:55:50 +0200 added a section to the introduction; described @{make_string}
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 24 Apr 2010 22:55:50 +0200] rev 421
added a section to the introduction; described @{make_string}
Wed, 07 Apr 2010 11:32:00 +0200 added something about ERROR and Fail
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 07 Apr 2010 11:32:00 +0200] rev 420
added something about ERROR and Fail
Wed, 07 Apr 2010 11:12:12 +0200 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 07 Apr 2010 11:12:12 +0200] rev 419
updated to new Isabelle
Sun, 07 Mar 2010 21:15:05 +0100 updated to new isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 07 Mar 2010 21:15:05 +0100] rev 418
updated to new isabelle
Thu, 11 Feb 2010 10:44:50 +0100 typos fixed by Michael Norrish
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 11 Feb 2010 10:44:50 +0100] rev 417
typos fixed by Michael Norrish
Fri, 05 Feb 2010 15:49:03 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 05 Feb 2010 15:49:03 +0100] rev 416
updated to new Isabelle
Thu, 14 Jan 2010 22:10:04 +0100 a bit more tuning
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 14 Jan 2010 22:10:04 +0100] rev 415
a bit more tuning
Fri, 08 Jan 2010 21:31:45 +0100 polished
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 08 Jan 2010 21:31:45 +0100] rev 414
polished
Fri, 01 Jan 2010 00:19:11 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 01 Jan 2010 00:19:11 +0100] rev 413
updated to new Isabelle
Sun, 06 Dec 2009 14:26:14 +0100 polised
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 06 Dec 2009 14:26:14 +0100] rev 412
polised
Fri, 04 Dec 2009 23:45:32 +0100 polised the section about Subgoal.FOCUS
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 04 Dec 2009 23:45:32 +0100] rev 411
polised the section about Subgoal.FOCUS
Thu, 03 Dec 2009 14:19:13 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 03 Dec 2009 14:19:13 +0100] rev 410
tuned
Wed, 02 Dec 2009 17:08:37 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 02 Dec 2009 17:08:37 +0100] rev 409
tuned
Wed, 02 Dec 2009 17:06:41 +0100 tunded
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 02 Dec 2009 17:06:41 +0100] rev 408
tunded
Wed, 02 Dec 2009 03:46:32 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 02 Dec 2009 03:46:32 +0100] rev 407
tuned
Wed, 02 Dec 2009 02:34:09 +0100 implemented suggestion from Sascha
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 02 Dec 2009 02:34:09 +0100] rev 406
implemented suggestion from Sascha
Tue, 01 Dec 2009 12:25:34 +0100 improved section on conversions
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 01 Dec 2009 12:25:34 +0100] rev 405
improved section on conversions
Wed, 25 Nov 2009 21:00:31 +0100 added RANGE
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 21:00:31 +0100] rev 404
added RANGE
Tue, 24 Nov 2009 22:55:44 +0100 added something about unifiacation and instantiations
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 22:55:44 +0100] rev 403
added something about unifiacation and instantiations
Tue, 24 Nov 2009 16:34:39 +0100 tuned solution with comb_conv
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 16:34:39 +0100] rev 402
tuned solution with comb_conv
Sun, 22 Nov 2009 15:27:10 +0100 updated to new Isabelle and clarified Skip_Proof
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 22 Nov 2009 15:27:10 +0100] rev 401
updated to new Isabelle and clarified Skip_Proof
Sun, 22 Nov 2009 03:13:29 +0100 tuning
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 22 Nov 2009 03:13:29 +0100] rev 400
tuning
Sat, 21 Nov 2009 00:29:43 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 21 Nov 2009 00:29:43 +0100] rev 399
tuned
Fri, 20 Nov 2009 03:03:04 +0100 started something about sorts
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 20 Nov 2009 03:03:04 +0100] rev 398
started something about sorts
Thu, 19 Nov 2009 20:23:15 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 20:23:15 +0100] rev 397
tuned
Thu, 19 Nov 2009 20:00:10 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 20:00:10 +0100] rev 396
tuned
Thu, 19 Nov 2009 17:48:44 +0100 spilt the Essential's chapter
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 17:48:44 +0100] rev 395
spilt the Essential's chapter
Thu, 19 Nov 2009 14:11:50 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 14:11:50 +0100] rev 394
updated to new Isabelle
Wed, 18 Nov 2009 14:06:01 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 18 Nov 2009 14:06:01 +0100] rev 393
tuned
Tue, 17 Nov 2009 23:59:19 +0100 modified the typ-pretty-printer and added parser exercise
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 Nov 2009 23:59:19 +0100] rev 392
modified the typ-pretty-printer and added parser exercise
Tue, 17 Nov 2009 20:36:18 +0100 added exercise
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 Nov 2009 20:36:18 +0100] rev 391
added exercise
Tue, 17 Nov 2009 18:40:11 +0100 added example by Lukas Bulwahn
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 17 Nov 2009 18:40:11 +0100] rev 390
added example by Lukas Bulwahn
Sun, 15 Nov 2009 13:47:31 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 15 Nov 2009 13:47:31 +0100] rev 389
tuned
Sun, 15 Nov 2009 13:18:07 +0100 added Skip_Proof.mk_thm and some pointers about concurrency
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 15 Nov 2009 13:18:07 +0100] rev 388
added Skip_Proof.mk_thm and some pointers about concurrency
Thu, 12 Nov 2009 20:35:14 +0100 completed the unification section
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 12 Nov 2009 20:35:14 +0100] rev 387
completed the unification section
Thu, 12 Nov 2009 10:06:26 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 12 Nov 2009 10:06:26 +0100] rev 386
tuned
Wed, 11 Nov 2009 12:15:48 +0100 updated to new Isabelle
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 11 Nov 2009 12:15:48 +0100] rev 385
updated to new Isabelle
Wed, 11 Nov 2009 05:34:46 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 11 Nov 2009 05:34:46 +0100] rev 384
tuned
Tue, 10 Nov 2009 12:17:08 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 12:17:08 +0100] rev 383
tuned
Tue, 10 Nov 2009 06:24:00 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 06:24:00 +0100] rev 382
tuned
Tue, 10 Nov 2009 04:57:42 +0100 added more to the unification section
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 04:57:42 +0100] rev 381
added more to the unification section
Mon, 09 Nov 2009 10:07:08 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 09 Nov 2009 10:07:08 +0100] rev 380
tuned
Mon, 09 Nov 2009 09:48:38 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 09 Nov 2009 09:48:38 +0100] rev 379
tuned
Mon, 09 Nov 2009 09:25:51 +0100 section about matching and unification of types
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 09 Nov 2009 09:25:51 +0100] rev 378
section about matching and unification of types
Sat, 07 Nov 2009 10:08:09 +0100 added a section about unification and matching
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 07 Nov 2009 10:08:09 +0100] rev 377
added a section about unification and matching
Sat, 07 Nov 2009 01:44:11 +0100 removed comment about compiler bug
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 07 Nov 2009 01:44:11 +0100] rev 376
removed comment about compiler bug
Sat, 07 Nov 2009 01:03:37 +0100 added type work and updated to Isabelle and poly 5.3
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 07 Nov 2009 01:03:37 +0100] rev 375
added type work and updated to Isabelle and poly 5.3
Thu, 05 Nov 2009 10:30:59 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 05 Nov 2009 10:30:59 +0100] rev 374
tuned
Tue, 03 Nov 2009 13:57:03 +0100 added structure index
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 03 Nov 2009 13:57:03 +0100] rev 373
added structure index
Tue, 03 Nov 2009 07:10:05 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 03 Nov 2009 07:10:05 +0100] rev 372
tuned
Mon, 02 Nov 2009 16:26:03 +0100 solved problem with mixfix.
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 02 Nov 2009 16:26:03 +0100] rev 371
solved problem with mixfix.
Mon, 02 Nov 2009 12:47:00 +0100 added something about show_types references
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 02 Nov 2009 12:47:00 +0100] rev 370
added something about show_types references
Sun, 01 Nov 2009 10:49:25 +0100 tuned index
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 01 Nov 2009 10:49:25 +0100] rev 369
tuned index
Sat, 31 Oct 2009 11:37:41 +0100 new parts in the tactical section
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 31 Oct 2009 11:37:41 +0100] rev 368
new parts in the tactical section
Fri, 30 Oct 2009 09:42:17 +0100 Proof.goal
changeset
haftmann [Fri, 30 Oct 2009 09:42:17 +0100] rev 367
Proof.goal
Fri, 30 Oct 2009 09:42:17 +0100 tuned
changeset
haftmann [Fri, 30 Oct 2009 09:42:17 +0100] rev 366
tuned
(0) -300 -100 -60 +60 +100 tip
isabelle-cookbook