http://isabelle.in.tum.de/repos/isabelle/ en-us isabelle Changelog isabelle Changelog transfer rules for many more list constants http://isabelle.in.tum.de/repos/isabelle/rev/3465c09222e0 huffman Tue, 15 May 2012 12:07:16 +0200 made SML/NJ happy http://isabelle.in.tum.de/repos/isabelle/rev/fb2bc5a1eb32 blanchet Tue, 15 May 2012 13:06:15 +0200 repair the Waldmeister endgame only for Waldmeister proofs http://isabelle.in.tum.de/repos/isabelle/rev/c35238d19bb9 blanchet Tue, 15 May 2012 13:06:15 +0200 fixed Waldmeister commutativity hack http://isabelle.in.tum.de/repos/isabelle/rev/c6d5418ee770 blanchet Tue, 15 May 2012 13:06:15 +0200 imported patch atp_tuning http://isabelle.in.tum.de/repos/isabelle/rev/481e5379c4ef blanchet Tue, 15 May 2012 13:06:15 +0200 add transfer rules for nat_rec and funpow http://isabelle.in.tum.de/repos/isabelle/rev/4e951258204b huffman Tue, 15 May 2012 11:50:34 +0200 add transfer rule for constant List.lists http://isabelle.in.tum.de/repos/isabelle/rev/ba9df9685e7c huffman Mon, 14 May 2012 17:28:07 +0200 add transfer rule for set_rel http://isabelle.in.tum.de/repos/isabelle/rev/bba52dffab2b huffman Mon, 14 May 2012 17:09:11 +0200 ensure the "show" equation is not reoriented by Waldmeister http://isabelle.in.tum.de/repos/isabelle/rev/fc26d5538868 blanchet Mon, 14 May 2012 15:54:26 +0200 ensure consistent naming of Waldmeister proof steps, so that they are not cleaned away by "clean_up_atp_proof_dependencies" http://isabelle.in.tum.de/repos/isabelle/rev/a5c2386518e2 blanchet Mon, 14 May 2012 15:54:26 +0200