| Fri, 20 Dec 1996 10:23:48 +0100 | paulson | Corrected comments | changeset | files |
| Thu, 19 Dec 1996 17:02:27 +0100 | oheimb | corrected headers | changeset | files |
| Thu, 19 Dec 1996 17:01:47 +0100 | oheimb | converted dist_less_one and dist_eq_one to single theorems instead of thm lists | changeset | files |
| Thu, 19 Dec 1996 11:58:39 +0100 | paulson | Extensive tidying and simplification, largely stemming from | changeset | files |
| Thu, 19 Dec 1996 11:54:19 +0100 | paulson | Addition of Auth/Recur | changeset | files |
| Wed, 18 Dec 1996 17:46:38 +0100 | paulson | Recursive Authentication Protocol | changeset | files |
| Wed, 18 Dec 1996 15:56:58 +0100 | wenzelm | IsaMakefile for HOL; | changeset | files |