| Tue, 28 Aug 2007 11:51:27 +0200 | wenzelm | replaced 'sorry' by unproven; | file | diff | annotate |
| Tue, 28 Aug 2007 11:25:32 +0200 | wenzelm | do not touch quick_and_dirty; | 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:54:21 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Tue, 26 Jun 2007 13:02:28 +0200 | nipkow | *** empty log message *** | file | diff | annotate |