| 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, 27 Aug 1999 15:46:58 +0200 | paulson | use of bij, new theorems, etc. | file | diff | annotate |
| Wed, 25 Aug 1999 10:58:08 +0200 | paulson | project constants | file | diff | annotate |
| Fri, 21 May 1999 10:58:47 +0200 | paulson | made definition more readable | file | diff | annotate |
| Wed, 03 Mar 1999 10:32:35 +0100 | paulson | new theory of extending the state space | file | diff | annotate |