src/HOLCF/IOA/meta_theory/TL.thy
changeset 5976 44290b71a85f
parent 4577 674b0b354feb
child 10835 f4745d77e620
     1.1 --- a/src/HOLCF/IOA/meta_theory/TL.thy	Thu Nov 26 12:18:51 1998 +0100
     1.2 +++ b/src/HOLCF/IOA/meta_theory/TL.thy	Thu Nov 26 16:37:56 1998 +0100
     1.3 @@ -5,8 +5,6 @@
     1.4  
     1.5  A General Temporal Logic
     1.6  
     1.7 -Version 2: Interface directly after Sequeces, i.e. predicates and predicate transformers are in HOL
     1.8 -
     1.9  *)   
    1.10  
    1.11