Tue, 04 Sep 2012 13:02:31 +0200 | blanchet | renamed theorem | 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 |
Mon, 03 Sep 2012 11:54:21 +0200 | blanchet | rearrange dependencies | file | diff | annotate |
Mon, 03 Sep 2012 11:54:21 +0200 | blanchet | renamed three BNF/(co)datatype-related commands | file | diff | annotate | base |