diff -r 2ff3a5589b05 -r 90a598019aeb src/HOL/UNITY/Simple/README.html
--- a/src/HOL/UNITY/Simple/README.html Tue Mar 12 21:59:48 2013 +0100
+++ b/src/HOL/UNITY/Simple/README.html Tue Mar 12 22:22:05 2013 +0100
@@ -1,7 +1,5 @@
-
-
@@ -37,9 +35,6 @@
Reachability.thy)
-
-Last modified on $Date$
-
lcp@cl.cam.ac.uk