isabelle: Changelog

wenzelm [Fri, 21 Sep 2007 22:51:13 +0200] rev 24672

tuned;

wenzelm [Fri, 21 Sep 2007 22:51:12 +0200] rev 24671

added has_abs (from envir.ML);

wenzelm [Fri, 21 Sep 2007 22:51:10 +0200] rev 24670

Term.has_abs;

wenzelm [Fri, 21 Sep 2007 22:51:08 +0200] rev 24669

proper signature constraint; minor tuning;

wenzelm [Thu, 20 Sep 2007 20:58:40 +0200] rev 24668

added interrupt_timeout; tuned signature;

wenzelm [Thu, 20 Sep 2007 20:56:54 +0200] rev 24667

Generic interpretation of theory data.

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;

wenzelm [Thu, 20 Sep 2007 20:56:33 +0200] rev 24665

avoid Theory.rep_theory;

isabelle