--- a/src/HOL/TLA/Memory/Memory.thy	Fri Oct 05 23:58:17 2001 +0200
+++ b/src/HOL/TLA/Memory/Memory.thy	Fri Oct 05 23:58:52 2001 +0200
@@ -133,6 +133,3 @@
 
   MemInv_def        "MemInv mm l == PRED  #l : #MemLoc --> mm!l : #MemVal"
 end
-
-
-
changeset 11703	6e5de8d4290a
parent 9517	f58863b1406a
child 17309	c43ed29bd197