--- a/src/HOL/UNITY/Simple/NSP_Bad.thy Thu Jan 30 10:35:56 2003 +0100
+++ b/src/HOL/UNITY/Simple/NSP_Bad.thy Thu Jan 30 18:08:09 2003 +0100
@@ -10,7 +10,7 @@
Original file is ../Auth/NS_Public_Bad
*)
-NSP_Bad = Public + Constrains +
+NSP_Bad = Public + UNITY_Main +
types state = event list