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/BNF_Def.thy
Wed, 12 Feb 2014 08:35:57 +0100 blanchet renamed '{prod,sum,bool,unit}_case' to 'case_...' file | diff | annotate
Wed, 29 Jan 2014 16:35:05 +0100 traytel made tactic more robust file | diff | annotate
Mon, 20 Jan 2014 21:32:41 +0100 blanchet moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain file | diff | annotate
Mon, 20 Jan 2014 18:24:56 +0100 blanchet tuning file | diff | annotate
Mon, 20 Jan 2014 18:24:56 +0100 blanchet made BNF compile after move to HOL file | diff | annotate
Mon, 20 Jan 2014 18:24:56 +0100 blanchet tuned comments file | diff | annotate
Mon, 20 Jan 2014 18:24:56 +0100 blanchet moved BNF files to 'HOL' file | diff | annotate | base
less more (0) tip
isabelle