| Tue, 31 Mar 2009 15:53:12 +0100 | Christian Urban | added a declaration section (for Amine) | changeset | files |
| Tue, 31 Mar 2009 15:48:53 +0100 | Christian Urban | more work on the inductive package | changeset | files |
| Mon, 30 Mar 2009 09:33:50 +0100 | Christian Urban | updated to latest Isabelle | changeset | files |
| Mon, 30 Mar 2009 08:17:22 +0000 | Christian Urban | some polishing | changeset | files |
| Fri, 27 Mar 2009 18:19:42 +0000 | Christian Urban | polishing | changeset | files |
| Fri, 27 Mar 2009 12:49:28 +0000 | Christian Urban | more work on simple inductive and marked all sections that are still seriously incomplete with TBD | changeset | files |
| Thu, 26 Mar 2009 19:00:51 +0000 | Christian Urban | more work on the simple inductive section | changeset | files |
| Wed, 25 Mar 2009 15:09:04 +0100 | Christian Urban | soem slight polishing | changeset | files |
| Tue, 24 Mar 2009 18:06:20 +0100 | Christian Urban | a bit more work on the simple-inductive package | changeset | files |
| Tue, 24 Mar 2009 12:09:38 +0100 | Christian Urban | some polishing | changeset | files |
| Tue, 24 Mar 2009 09:34:03 +0100 | Christian Urban | added a keyword file, but needs to re-generated whenever something changes with keywords in Isabelle | changeset | files |
| Tue, 24 Mar 2009 09:28:52 +0100 | Christian Urban | added infrastructure to generate the keyword file for simple_inductive | changeset | files |
| Mon, 23 Mar 2009 18:35:58 +0100 | Christian Urban | merged | changeset | files |
| Mon, 23 Mar 2009 18:28:41 +0100 | Christian Urban | merged | changeset | files |
| Mon, 23 Mar 2009 14:20:14 +0100 | griff | tiny changes | changeset | files |
| Mon, 23 Mar 2009 13:55:40 +0100 | griff | passive of `build' = `built' | changeset | files |
| Mon, 23 Mar 2009 13:46:53 +0100 | griff | small changes | changeset | files |
| Mon, 23 Mar 2009 13:27:12 +0100 | griff | typos | changeset | files |
| Mon, 23 Mar 2009 12:47:05 +0100 | griff | again spell-checker on FirstSteps | changeset | files |
| Mon, 23 Mar 2009 12:35:15 +0100 | griff | used spell checker on `FirstSteps' + small changes | changeset | files |
| Mon, 23 Mar 2009 12:13:21 +0100 | griff | fixed `str_of_thms' output in example + small changes | changeset | files |
| Mon, 23 Mar 2009 09:18:46 +0100 | griff | corrected typos + some small reformulations | changeset | files |
| Mon, 23 Mar 2009 18:17:24 +0100 | Christian Urban | some polishing | changeset | files |
| Mon, 23 Mar 2009 12:13:33 +0100 | Christian Urban | polishing to the theorem attributes section | changeset | files |
| Sat, 21 Mar 2009 12:35:03 +0100 | Christian Urban | some polishing | changeset | files |
| Thu, 19 Mar 2009 23:21:26 +0100 | Christian Urban | polished some recipies | changeset | files |
| Thu, 19 Mar 2009 17:50:28 +0100 | Christian Urban | more one the simple-inductive chapter | changeset | files |
| Thu, 19 Mar 2009 13:28:16 +0100 | Christian Urban | made more of the transition from "CookBook" to "ProgTutorial" | changeset | files |
| Wed, 18 Mar 2009 23:52:51 +0100 | Christian Urban | added lots of FIXMES | changeset | files |
| Wed, 18 Mar 2009 18:32:31 +0100 | Christian Urban | added non-standard Latex-style | changeset | files |