doc-src/Codegen/Thy/Setup.thy
Wed, 08 Jun 2011 12:13:37 +0200 wenzelm updated imports (cf. 93b1183e43e5);
Tue, 03 May 2011 22:27:32 +0200 wenzelm more conventional naming scheme: names_long, names_short, names_unique;
Sat, 16 Apr 2011 13:48:45 +0200 wenzelm Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
less more (0) -10 -3 tip