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/Codatatype/BNF_Library.thy
Mon, 10 Sep 2012 17:52:01 +0200 blanchet fixed general case of "mk_sumEN_balanced" file | diff | annotate
Mon, 10 Sep 2012 17:35:53 +0200 blanchet use balanced sums for constructors (to gracefully handle 100 constructors or more) file | diff | annotate
Tue, 04 Sep 2012 15:51:32 +0200 blanchet implemented "mk_exhaust_tac" file | diff | annotate
Tue, 04 Sep 2012 13:02:30 +0200 blanchet allow pseudo-definition of is_Cons in terms of is_Nil (and similarly for other two-constructor datatypes) file | diff | annotate
Thu, 30 Aug 2012 13:39:30 +0900 Christian Sternagel reverted (accidentally commited) changes from changeset fd4aef9bc7a9 file | diff | annotate
Thu, 30 Aug 2012 13:03:03 +0900 Christian Sternagel List is implicitly imported by Main file | diff | annotate
Wed, 29 Aug 2012 10:27:56 +0900 Christian Sternagel renamed theory List_Prefix into Sublist (since it is not only about prefixes) file | diff | annotate
Tue, 28 Aug 2012 17:19:59 +0200 blanchet fixed import paths file | diff | annotate
Tue, 28 Aug 2012 17:16:00 +0200 blanchet added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei) file | diff | annotate
less more (0) tip
isabelle