| Mon, 13 Mar 2000 16:23:34 +0100 | wenzelm | case_tac now subsumes both boolean and datatype cases; | file | diff | annotate |
| Mon, 13 Mar 2000 12:51:10 +0100 | nipkow | exhaust_tac -> cases_tac | file | diff | annotate |
| Thu, 09 Mar 2000 13:56:54 +0100 | kleing | tuned for completeness of LBV | file | diff | annotate |
| Tue, 15 Feb 2000 17:51:11 +0100 | kleing | lightweight bytecode verifier with correctness proof | file | diff | annotate |