src/HOL/Eisbach/Eisbach_Old_Appl_Syntax.thy
2016-01-13 wenzelm 2016-01-13 Eisbach works for other object-logics, e.g. Eisbach_FOL.thy;