Mon, 10 Dec 2001 20:59:43 +0100 | wenzelm | bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam"; | file | diff | annotate |
Wed, 25 Jul 2001 13:13:01 +0200 | paulson | partial restructuring to reduce dependence on Axiom of Choice | file | diff | annotate |
Tue, 03 Jul 2001 15:29:17 +0200 | paulson | better treatment of restrict (lam) | file | diff | annotate |
Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Fri, 05 Jan 2001 18:48:18 +0100 | nipkow | ^^ -> ``` | file | diff | annotate |
Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | file | diff | annotate |
Thu, 13 Apr 2000 15:01:50 +0200 | nipkow | Times -> <*> | file | diff | annotate |
Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
Mon, 26 Jul 1999 16:30:50 +0200 | paulson | HOL/ex/Tarski: new example by Florian Kammueller | file | diff | annotate |