isabelle: File revisions

src/HOL/Tools/arith_data.ML

Thu, 02 Jul 2009 17:34:14 +0200	wenzelm	renamed NamedThmsFun to Named_Thms;	file \| diff \| annotate
Mon, 06 Apr 2009 15:59:05 +0200	haftmann	tuned comment	file \| diff \| annotate
Thu, 26 Mar 2009 14:14:02 +0100	wenzelm	simplified attribute and method setup: eliminating bottom-up styles makes it easier to keep things in one place, and also SML/NJ happy;	file \| diff \| annotate
Mon, 23 Mar 2009 19:01:16 +0100	haftmann	moved generic arith_tac (formerly silent_arith_tac), verbose_arith_tac (formerly arith_tac) to Arith_Data; simple_arith-tac now named linear_arith_tac	file \| diff \| annotate
Fri, 13 Mar 2009 19:17:57 +0100	haftmann	moved some generic nonsense to arith_data.ML	file \| diff \| annotate
Thu, 12 Mar 2009 18:01:26 +0100	haftmann	vague cleanup in arith proof tools setup: deleted dead code, more proper structures, clearer arrangement	file \| diff \| annotate
Thu, 01 Jan 2009 23:31:49 +0100	wenzelm	normalized some ML type/val aliases;	file \| diff \| annotate
Wed, 03 Dec 2008 15:58:44 +0100	haftmann	made repository layout more coherent with logical distribution structure; stripped some $Id$s	file \| diff \| annotate \| base

isabelle