--- a/src/HOLCF/IOA/meta_theory/TLS.ML Thu Nov 15 23:25:01 2001 +0100
+++ b/src/HOLCF/IOA/meta_theory/TLS.ML Thu Nov 15 23:25:46 2001 +0100
@@ -1,9 +1,9 @@
(* Title: HOLCF/IOA/meta_theory/TLS.ML
ID: $Id$
- Author: Olaf M"uller
- Copyright 1997 TU Muenchen
+ Author: Olaf Müller
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
-Temporal Logic of Steps -- tailored for I/O automata
+Temporal Logic of Steps -- tailored for I/O automata.
*)
(* global changes to simpset() and claset(), repeated from Traces.ML *)