| Tue, 07 Oct 2008 16:07:25 +0200 | haftmann | tuned code setup | file | diff | annotate |
| Mon, 20 Aug 2007 18:54:51 +0200 | wenzelm | theory header: fixed import; | file | diff | annotate |
| Mon, 20 Aug 2007 17:46:31 +0200 | wenzelm | theory header: more precise imports; | file | diff | annotate |
| Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |
| Wed, 11 Jul 2007 11:32:02 +0200 | berghofe | - Renamed inductive2 to inductive | file | diff | annotate |
| Sat, 19 May 2007 11:33:26 +0200 | haftmann | added qualification for ambiguous definition names | file | diff | annotate |
| Wed, 07 Feb 2007 17:44:07 +0100 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |