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 |