
diff -r 1b0f14d11142 -r 82a5ca6290aa src/HOL/UNITY/Channel.thy
--- a/src/HOL/UNITY/Channel.thy	Wed Aug 05 10:56:58 1998 +0200
+++ b/src/HOL/UNITY/Channel.thy	Wed Aug 05 10:57:25 1998 +0200
@@ -18,12 +18,12 @@
 
 rules
 
-  skip "id: Acts"
+  skip "id: acts"
 
-  UC1  "constrains Acts (minSet -`` {Some x}) (minSet -`` (Some``atLeast x))"
+  UC1  "constrains acts (minSet -`` {Some x}) (minSet -`` (Some``atLeast x))"
 
-  (*  UC1  "constrains Acts {s. minSet s = x} {s. x <= minSet s}"  *)
+  (*  UC1  "constrains acts {s. minSet s = x} {s. x <= minSet s}"  *)
 
-  UC2  "leadsTo Acts (minSet -`` {Some x}) {s. x ~: s}"
+  UC2  "leadsTo acts (minSet -`` {Some x}) {s. x ~: s}"
 
 end




