| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Mon, 13 Mar 2000 16:24:52 +0100 | wenzelm | replaced exhaust_tac by case_tac; | file | diff | annotate |
| Thu, 30 Jul 1998 15:49:18 +0200 | berghofe | Script that adapts theories and proof scripts to new datatype package. | file | diff | annotate |