| Wed, 09 Jan 2008 19:24:15 +0100 | nipkow | tuned | file | diff | annotate |
| Wed, 09 Jan 2008 10:56:35 +0100 | nipkow | Finally: no more unproven. | file | diff | annotate |
| Mon, 17 Dec 2007 18:38:28 +0100 | berghofe | Adapted to changes in size function. | file | diff | annotate |
| 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 |