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;
Mon, 08 Oct 2007 22:06:32 +0200 updated keywords
haftmann [Mon, 08 Oct 2007 22:06:32 +0200] rev 24919
updated keywords
Mon, 08 Oct 2007 22:03:31 +0200 moved translation kernel to CodeThingol
haftmann [Mon, 08 Oct 2007 22:03:31 +0200] rev 24918
moved translation kernel to CodeThingol
Mon, 08 Oct 2007 22:03:30 +0200 tuned
haftmann [Mon, 08 Oct 2007 22:03:30 +0200] rev 24917
tuned
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip