src/HOL/UNITY/NSP_Bad.ML
Fri, 23 Oct 1998 20:44:34 +0200 oheimb corrected auto_tac (applications of unsafe wrappers)
Thu, 15 Oct 1998 11:35:07 +0200 paulson specifications as sets of programs
Wed, 23 Sep 1998 10:11:18 +0200 paulson tidying and deleting needless parentheses
Mon, 14 Sep 1998 10:18:07 +0200 paulson commented out duplicate proof
Thu, 10 Sep 1998 17:30:24 +0200 paulson deleted not_Says_to_self
Mon, 07 Sep 1998 10:43:31 +0200 paulson New UNITY theory, the N-S protocol
less more (0) tip