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
Mon, 08 Oct 2007 19:53:09 +0200 tuned generated comment;
wenzelm [Mon, 08 Oct 2007 19:53:09 +0200] rev 24912
tuned generated comment;
Mon, 08 Oct 2007 18:13:10 +0200 primitive add_def: strip sorts in axiom;
wenzelm [Mon, 08 Oct 2007 18:13:10 +0200] rev 24911
primitive add_def: strip sorts in axiom;
Mon, 08 Oct 2007 18:13:09 +0200 avoid polymorphic equality;
wenzelm [Mon, 08 Oct 2007 18:13:09 +0200] rev 24910
avoid polymorphic equality;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip