doc-src/IsarRef/Thy/Inner_Syntax.thy
Tue, 07 Feb 2012 18:56:40 +0100 wenzelm tuned;
Tue, 07 Feb 2012 18:51:22 +0100 wenzelm updated examples for syntax translations;
less more (0) -30 -10 -2 tip