src/Pure/CPure.thy
2006-02-15 wenzelm 2006-02-15 cannot use section before setup;
2006-01-29 wenzelm 2006-01-29 implicit setup;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory; Syntax.appl(C)_syntax;
2005-10-28 wenzelm 2005-10-28 tuned;
2005-04-21 wenzelm 2005-04-21 The CPure theory -- Pure with alternative application syntax.