| Tue, 04 Aug 2009 01:01:23 +0200 | wenzelm | basic support for components (which imitate the usual Isabelle directory layout); | changeset | files |
| Sun, 02 Aug 2009 21:03:38 +0200 | berghofe | Tuned. | changeset | files |
| Sun, 02 Aug 2009 17:58:19 +0200 | Christian Urban | the derived induction principles can be given an explicit name | changeset | files |