| Wed, 07 Sep 2005 20:22:39 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Tue, 17 Oct 2000 10:21:12 +0200 | paulson | renaming of contrapos rules | file | diff | annotate |
| Thu, 03 Aug 2000 19:29:03 +0200 | wenzelm | tuned version by Stephan Merz (unbatchified etc.); | file | diff | annotate |
| Tue, 21 Sep 1999 19:11:07 +0200 | nipkow | Mod because of new solver interface. | file | diff | annotate |
| Thu, 08 Jul 1999 13:46:29 +0200 | paulson | changed header to cope with default if_weak_cong | file | diff | annotate |
| Mon, 08 Feb 1999 13:02:56 +0100 | wenzelm | updated (Stephan Merz); | file | diff | annotate |