| 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 |