| Fri, 20 Dec 1996 10:48:49 +0100 | sandnerr | testing cvs merge algorithm, 2nd | changeset | files |
| Fri, 20 Dec 1996 10:48:05 +0100 | oheimb | testing... | changeset | files |
| Fri, 20 Dec 1996 10:45:08 +0100 | sandnerr | testing cvs merge algorithm | changeset | files |
| Fri, 20 Dec 1996 10:39:44 +0100 | oheimb | testing... | changeset | files |
| Fri, 20 Dec 1996 10:37:57 +0100 | oheimb | testing: last line w/o nl | changeset | files |
| Fri, 20 Dec 1996 10:33:54 +0100 | oheimb | testing: last line w/o nl | changeset | files |
| Fri, 20 Dec 1996 10:32:37 +0100 | oheimb | testing... | changeset | files |
| Fri, 20 Dec 1996 10:32:09 +0100 | oheimb | testing cvs update | changeset | files |
| Fri, 20 Dec 1996 10:25:26 +0100 | paulson | Simplification and generalization of the guarantees. | changeset | files |
| 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 |