Tue, 21 Sep 1999 11:11:09 +0200 | paulson | new proof of drop_prog_correct for new definition of project_act | file | diff | annotate |
Fri, 10 Sep 1999 18:40:06 +0200 | paulson | working snapshot | file | diff | annotate |
Wed, 08 Sep 1999 16:44:11 +0200 | paulson | more rational theorem names (?) | file | diff | annotate |
Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
Mon, 06 Sep 1999 10:52:26 +0200 | paulson | working snapshot | file | diff | annotate |
Tue, 31 Aug 1999 15:56:56 +0200 | paulson | changed "component" infix in HOL/UNITY/Comp.thy to be overloaded < | file | diff | annotate |
Thu, 26 Aug 1999 11:36:04 +0200 | paulson | changed "guar" back to "guarantees" (sorry) | file | diff | annotate |
Wed, 25 Aug 1999 10:59:32 +0200 | paulson | renamed some theorems; also better natural deduction style for old ones | file | diff | annotate |
Fri, 06 Aug 1999 17:27:51 +0200 | paulson | new theory UNITY/Lift_prog | file | diff | annotate |