src/HOL/ex/Term_Of_Syntax.thy
2008-12-04 haftmann 2008-12-04 cleaned up binding module and related code
2008-09-23 haftmann 2008-09-23 renamed rtype to typerep
2008-09-17 haftmann 2008-09-17 moved term_of syntax to separate theory