diff -r f07e865d9d40 -r 7219facb3fd0 src/HOL/TLA/README.html --- a/src/HOL/TLA/README.html Mon Mar 07 18:40:36 2005 +0100 +++ b/src/HOL/TLA/README.html Mon Mar 07 19:17:07 2005 +0100 @@ -1,6 +1,15 @@ -HOL/TLA + + + + + + + HOL/TLA + + +

TLA: Lamport's Temporal Logic of Actions

@@ -56,6 +65,6 @@ Stephan Merz -Last modified: Mon Jan 25 14:06:43 MET 1999 +Last modified: Sat Mar 5 00:54:49 CET 2005