isabelle: Changelog

paulson [Thu, 27 Oct 2005 18:25:33 +0200] rev 17997

sorted lemma lists

wenzelm [Thu, 27 Oct 2005 13:59:06 +0200] rev 17996

* HOL: alternative iff syntax;

wenzelm [Thu, 27 Oct 2005 13:54:43 +0200] rev 17995

consts: monomorphic;

wenzelm [Thu, 27 Oct 2005 13:54:42 +0200] rev 17994

removed inappropriate monomorphic test;

wenzelm [Thu, 27 Oct 2005 13:54:40 +0200] rev 17993

replaced Defs.monomorphic by Sign.monomorphic;

wenzelm [Thu, 27 Oct 2005 13:54:38 +0200] rev 17992

alternative iff syntax for equality on booleans, with print_mode 'iff';

haftmann [Thu, 27 Oct 2005 08:14:05 +0200] rev 17991

added module Pure/General/rat.ML

paulson [Wed, 26 Oct 2005 16:31:53 +0200] rev 17990

tidied away duplicate thm

wenzelm [Tue, 25 Oct 2005 18:38:21 +0200] rev 17989

EVERY;

wenzelm [Tue, 25 Oct 2005 18:18:59 +0200] rev 17988

traceIt: plain term;

isabelle