| 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 |