| Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 19 Feb 2004 15:57:34 +0100 | ballarin | Efficient, graph-based reasoner for linear and partial orders. | file | diff | annotate |
| Wed, 14 May 2003 20:29:18 +0200 | schirmer | Adapted to changes in Map.thy | file | diff | annotate |
| Sat, 08 Feb 2003 14:46:22 +0100 | nipkow | adjusted dom rules | file | diff | annotate |
| Fri, 01 Nov 2002 13:16:28 +0100 | schirmer | Inserted some extra paragraphs in large proofs to make tex run... | file | diff | annotate |