Tue, 22 May 2007 14:43:54 +0200 haftmann adjusted to change in Provers/Arith/combine_numerals.ML
Tue, 22 May 2007 13:55:30 +0200 haftmann adjusted to change in Provers/Arith/combine_numerals.ML
Tue, 22 May 2007 13:40:37 +0200 krauss regression tests: send failure reports to krauss@in.tum.de, too
Tue, 22 May 2007 07:29:49 +0200 huffman rename lemmas LIM_ident, isCont_ident, DERIV_ident
Tue, 22 May 2007 05:07:48 +0200 huffman remove obsolete CSeries.thy
Tue, 22 May 2007 00:38:51 +0200 huffman generalized ring_eq_cancel simprocs to class idom; removed redundant field_eq_cancel simprocs
Mon, 21 May 2007 19:43:33 +0200 huffman new field_combine_numerals simproc, which uses fractions as coefficients
Mon, 21 May 2007 19:14:12 +0200 narboux search bottom up to get the inner fresh fun
Mon, 21 May 2007 19:13:38 +0200 narboux add a bottom up search function
Mon, 21 May 2007 19:11:42 +0200 haftmann tuned
Mon, 21 May 2007 19:11:41 +0200 haftmann evaluation for integers
Mon, 21 May 2007 19:11:40 +0200 haftmann added lemma divAlg_div_mof
Mon, 21 May 2007 19:11:39 +0200 haftmann improved code for rev
Mon, 21 May 2007 19:11:38 +0200 haftmann min/max
Mon, 21 May 2007 19:05:37 +0200 huffman generalize CombineNumerals functor to allow coefficients with types other than IntInf.int
Mon, 21 May 2007 18:53:04 +0200 huffman add lemmas divide_numeral_1 and inverse_numeral_1
Mon, 21 May 2007 16:39:58 +0200 krauss fixed signature
Mon, 21 May 2007 16:22:46 +0200 krauss Method "lexicographic_order" now takes the same arguments as "auto"
Mon, 21 May 2007 16:19:56 +0200 narboux change fresh_fun_simp to treat occurences in assumptions and try to solve the generated subgoals
Sun, 20 May 2007 18:48:52 +0200 huffman define pi with THE instead of SOME; cleaned up
Sun, 20 May 2007 17:49:10 +0200 huffman add lemmas for sin,cos,tan of 30,45,60 degrees; cleaned up
Sun, 20 May 2007 17:30:21 +0200 huffman add lemma power2_eq_imp_eq
Sun, 20 May 2007 13:39:46 +0200 urbanc added lemma for permutations on strings
Sun, 20 May 2007 10:13:06 +0200 huffman moved sqrt lemmas from Transcendental.thy to NthRoot.thy
Sun, 20 May 2007 09:50:56 +0200 huffman remove obsolete DERIV_ln lemmas
Sun, 20 May 2007 09:21:04 +0200 huffman add realpow_pos_nth2 back in
Sun, 20 May 2007 09:05:44 +0200 huffman add odd_real_root lemmas
Sun, 20 May 2007 08:16:29 +0200 huffman add lemmas about inverse functions; cleaned up proof of polar_ex
Sun, 20 May 2007 08:00:48 +0200 huffman change premises of DERIV_inverse_function lemma
Sun, 20 May 2007 05:27:45 +0200 huffman rearranged sections
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip