src/HOL/UNITY/Comp/Handshake.thy
Tue, 03 Jan 2006 15:43:54 +0100 paulson added explicit paths to required theories
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 02 Jun 2005 13:47:08 +0200 paulson renamed "constrains" to "safety" to avoid keyword clash
less more (0) -3 tip