src/HOLCF/IOA/meta_theory/TLS.thy
1998-01-12 mueller 1998-01-12 added files containing temproal logic and abstraction;