| Mon, 01 Mar 1999 18:38:43 +0100 | paulson | removed the infernal States, eqStates, compatible, etc. | file | diff | annotate |
| Wed, 03 Feb 1999 17:34:27 +0100 | wenzelm | add_path / reset_path; | file | diff | annotate |
| Thu, 03 Dec 1998 10:45:06 +0100 | paulson | Addition of the States component; parts of Comp not working | file | diff | annotate |
| Thu, 01 Oct 1998 18:28:18 +0200 | paulson | abstype of programs | file | diff | annotate |
| Tue, 29 Sep 1998 15:58:47 +0200 | paulson | Now id:(Acts prg) is implicit | file | diff | annotate |
| Thu, 10 Sep 1998 17:30:24 +0200 | paulson | deleted not_Says_to_self | file | diff | annotate |
| Mon, 07 Sep 1998 10:43:31 +0200 | paulson | New UNITY theory, the N-S protocol | file | diff | annotate |