doc-src/IsarRef/Thy/Inner_Syntax.thy
Thu, 07 Apr 2011 21:23:57 +0200 wenzelm constant =?= no longer exists (cf. 8c09e1fa24a7);
Wed, 06 Apr 2011 13:33:46 +0200 wenzelm typed_print_translation: discontinued show_sorts argument;
less more (0) -30 -10 -2 tip