doc-src/Codegen/Thy/Setup.thy
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;
Fri, 08 Apr 2011 17:45:37 +0200 wenzelm renamed sprop "prop#" to "prop'" -- proper identifier;
less more (0) -10 -3 tip