Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/function_package/scnp_reconstruct.ML
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
Sat, 27 Dec 2008 17:49:15 +0100 krauss removed duplicate sum_case used only by function package; file | diff | annotate
less more (0) tip
isabelle