| 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, 11 Oct 1999 10:53:39 +0200 | paulson | working shapshot with "projecting" and "extending" | file | diff | annotate |
| Tue, 21 Sep 1999 11:09:24 +0200 | paulson | project_act no longer has a special case to allow identity actions | file | diff | annotate |
| Fri, 10 Sep 1999 18:40:06 +0200 | paulson | working snapshot | 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 |