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
Mon, 08 Oct 2007 22:03:28 +0200 simplified evaluation
haftmann [Mon, 08 Oct 2007 22:03:28 +0200] rev 24916
simplified evaluation
Mon, 08 Oct 2007 22:03:25 +0200 integrated FixedPoint into Inductive
haftmann [Mon, 08 Oct 2007 22:03:25 +0200] rev 24915
integrated FixedPoint into Inductive
Mon, 08 Oct 2007 22:03:21 +0200 added proper subclass concept; improved class target
haftmann [Mon, 08 Oct 2007 22:03:21 +0200] rev 24914
added proper subclass concept; improved class target
Mon, 08 Oct 2007 20:20:13 +0200 fixed bug in grobner_ideal
chaieb [Mon, 08 Oct 2007 20:20:13 +0200] rev 24913
fixed bug in grobner_ideal
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip