Fri, 21 Sep 2007 22:51:13 +0200 tuned;
wenzelm [Fri, 21 Sep 2007 22:51:13 +0200] rev 24672
tuned;
Fri, 21 Sep 2007 22:51:12 +0200 added has_abs (from envir.ML);
wenzelm [Fri, 21 Sep 2007 22:51:12 +0200] rev 24671
added has_abs (from envir.ML);
Fri, 21 Sep 2007 22:51:10 +0200 Term.has_abs;
wenzelm [Fri, 21 Sep 2007 22:51:10 +0200] rev 24670
Term.has_abs;
Fri, 21 Sep 2007 22:51:08 +0200 proper signature constraint;
wenzelm [Fri, 21 Sep 2007 22:51:08 +0200] rev 24669
proper signature constraint; minor tuning;
Thu, 20 Sep 2007 20:58:40 +0200 added interrupt_timeout;
wenzelm [Thu, 20 Sep 2007 20:58:40 +0200] rev 24668
added interrupt_timeout; tuned signature;
Thu, 20 Sep 2007 20:56:54 +0200 Generic interpretation of theory data.
wenzelm [Thu, 20 Sep 2007 20:56:54 +0200] rev 24667
Generic interpretation of theory data.
Thu, 20 Sep 2007 20:56:34 +0200 tuned signature;
wenzelm [Thu, 20 Sep 2007 20:56:34 +0200] rev 24666
tuned signature; moved generic interpretation to interpretation.ML; added abstract at_begin/end wrappers;
Thu, 20 Sep 2007 20:56:33 +0200 avoid Theory.rep_theory;
wenzelm [Thu, 20 Sep 2007 20:56:33 +0200] rev 24665
avoid Theory.rep_theory;
Thu, 20 Sep 2007 20:56:32 +0200 added interpretation.ML;
wenzelm [Thu, 20 Sep 2007 20:56:32 +0200] rev 24664
added interpretation.ML;
Thu, 20 Sep 2007 17:48:16 +0200 improved error behaviour of use (bootstrap version);
wenzelm [Thu, 20 Sep 2007 17:48:16 +0200] rev 24663
improved error behaviour of use (bootstrap version);
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip