| Wed, 27 Oct 1999 13:03:32 +0200 | paulson | working again; new treatment of LocalTo | file | diff | annotate |
| Mon, 18 Oct 1999 16:16:03 +0200 | paulson | exchanged the first two args of "project" and "drop_prog" | file | diff | annotate |
| Mon, 18 Oct 1999 15:18:24 +0200 | paulson | working version with localTo[C] instead of localTo | file | diff | annotate |
| Mon, 04 Oct 1999 13:45:31 +0200 | paulson | most results now refer to those for "extend" | file | diff | annotate |
| Wed, 29 Sep 1999 13:13:06 +0200 | paulson | working snapshot with new theory "Project" | 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 |
| Fri, 06 Aug 1999 17:27:51 +0200 | paulson | new theory UNITY/Lift_prog | file | diff | annotate |