Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/TLA/Memory/RPCMemoryParams.thy
changeset 6255 db63752140c7
parent 3807 82a99b090d9d
child 11703 6e5de8d4290a 
--- a/src/HOL/TLA/Memory/RPCMemoryParams.thy	Mon Feb 08 13:02:42 1999 +0100
+++ b/src/HOL/TLA/Memory/RPCMemoryParams.thy	Mon Feb 08 13:02:56 1999 +0100
@@ -12,9 +12,9 @@
 RPCMemoryParams = HOL +
 
 types
-  bit = "bool"   (* signal wires for the procedure interface *)
-                 (* Defined as bool for simplicity. All I should really need is *)
-                 (* the existence of two distinct values. *)
+  bit = "bool"   (* Signal wires for the procedure interface.
+                    Defined as bool for simplicity. All I should really need is
+                    the existence of two distinct values. *)
   Locs           (* "syntactic" value type *)
   Vals           (* "syntactic" value type *)
   PrIds          (* process id's *)
isabelle