Tue, 09 Oct 2007 17:10:41 +0200 renamed AxClass.get_definition to AxClass.get_info (again);
wenzelm [Tue, 09 Oct 2007 17:10:41 +0200] rev 24929
renamed AxClass.get_definition to AxClass.get_info (again); AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd;
Tue, 09 Oct 2007 17:10:38 +0200 renamed AxClass.get_definition to AxClass.get_info (again);
wenzelm [Tue, 09 Oct 2007 17:10:38 +0200] rev 24928
renamed AxClass.get_definition to AxClass.get_info (again);
Tue, 09 Oct 2007 17:10:36 +0200 Specification: renamed XXX_i to XXX, and XXX to XXX_cmd;
wenzelm [Tue, 09 Oct 2007 17:10:36 +0200] rev 24927
Specification: renamed XXX_i to XXX, and XXX to XXX_cmd;
Tue, 09 Oct 2007 17:10:34 +0200 AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd;
wenzelm [Tue, 09 Oct 2007 17:10:34 +0200] rev 24926
AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd;
Tue, 09 Oct 2007 17:10:32 +0200 removed LocalTheory.defs, use plain LocalTheory.def;
wenzelm [Tue, 09 Oct 2007 17:10:32 +0200] rev 24925
removed LocalTheory.defs, use plain LocalTheory.def;
Tue, 09 Oct 2007 00:26:56 +0200 tuned;
wenzelm [Tue, 09 Oct 2007 00:26:56 +0200] rev 24924
tuned;
Tue, 09 Oct 2007 00:20:23 +0200 generic Syntax.pretty/string_of operations;
wenzelm [Tue, 09 Oct 2007 00:20:23 +0200] rev 24923
generic Syntax.pretty/string_of operations; added uncheck/unparse_classrel/arity (from sign.ML); tuned;
Tue, 09 Oct 2007 00:20:22 +0200 generic Syntax.pretty/string_of operations;
wenzelm [Tue, 09 Oct 2007 00:20:22 +0200] rev 24922
generic Syntax.pretty/string_of operations; proper installation of unparsers and term_uncheck (contract_abbrevs); removed obsolete pretty/string_of_term/typ/sort/classrel/arity (cf. structure Syntax); tuned;
Tue, 09 Oct 2007 00:20:21 +0200 generic Syntax.pretty/string_of operations;
wenzelm [Tue, 09 Oct 2007 00:20:21 +0200] rev 24921
generic Syntax.pretty/string_of operations; existing pretty_term = Syntax.pretty_term o ProofContext.init etc.; removed pretty_classrel/arity (cf. Syntax/syntax.ML);
Tue, 09 Oct 2007 00:20:13 +0200 generic Syntax.pretty/string_of operations;
wenzelm [Tue, 09 Oct 2007 00:20:13 +0200] rev 24920
generic Syntax.pretty/string_of operations;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip