src/HOLCF/IOA/meta_theory/TL.thy
2001-01-09 nipkow 2001-01-09 ` -> $
1998-11-26 mueller 1998-11-26 tuning to assimiliate it with PhD;
1998-01-14 mueller 1998-01-14 added thms wrt weakening and strengthening in Abstraction;
1998-01-12 mueller 1998-01-12 added files containing temproal logic and abstraction;