Mon, 25 May 2009 12:49:05 +0200 | wenzelm | modernized method setup; | 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, 20 Mar 2009 15:24:18 +0100 | wenzelm | eliminated global SIMPSET, CLASET etc. -- refer to explicit context; | file | diff | annotate |
Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
Wed, 11 Mar 2009 15:56:51 +0100 | haftmann | HOLogic.mk_set, HOLogic.dest_set | file | diff | annotate |
Thu, 05 Mar 2009 08:23:11 +0100 | haftmann | set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax | file | diff | annotate |
Wed, 11 Feb 2009 19:31:20 +0100 | krauss | Export tactic interface for sizechange method | file | diff | annotate |