src/HOL/TPTP/MaSh_Export_Base.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-04-09 wenzelm 2016-04-09 tuned signature;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-08 blanchet 2014-09-08 refactored MaSh files to avoid regenerating exports on each eval