| Fri, 21 Jul 2000 18:01:36 +0200 | paulson | much tidying in connection with the 2nd UNITY paper | file | diff | annotate |
| Thu, 13 Apr 2000 15:01:50 +0200 | nipkow | Times -> <*> | file | diff | annotate |
| 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 |
| Fri, 18 Feb 2000 15:20:44 +0100 | paulson | New treatment of "guarantees" with polymorphic components and bijections. | file | diff | annotate |
| Tue, 30 Nov 1999 16:54:10 +0100 | paulson | working version with new theory ELT | file | diff | annotate |
| Fri, 10 Sep 1999 18:40:06 +0200 | paulson | working snapshot | file | diff | annotate |
| Wed, 08 Sep 1999 15:37:31 +0200 | paulson | new example HOL/UNITY/TimerArray | file | diff | annotate |