src/Tools/runqed
1995-02-28 lcp Added initial /bin/csh line and comments
1995-02-03 clasohm added specification of csh as script interpreter
1994-12-20 clasohm qed is a utility that makes ML files store the defined theories in Isabelle's
less more (0) tip