src/HOL/CTL/ROOT.ML
2004-04-29 wenzelm 2004-04-29 removed spurious quick_and_dirty;
2001-05-31 bauerg 2001-05-31 added HOL-CTL example;