src/Tools/Permanent_Interpretation.thy
2014-02-19 haftmann 2014-02-19 offical tool