Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
commented out failing tactic (now that 'typerep' is defined using the new package
authorblanchet
Wed, 03 Sep 2014 00:06:27 +0200
changeset 58155 14dda84afbb3
parent 58154 47c3c7019b97
child 58156 e333bd3b4d3d
commented out failing tactic (now that 'typerep' is defined using the new package
src/HOL/Library/Countable.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Countable.thy	Wed Sep 03 00:06:26 2014 +0200
+++ b/src/HOL/Library/Countable.thy	Wed Sep 03 00:06:27 2014 +0200
@@ -308,9 +308,11 @@
 hide_const (open) finite_item nth_item
 
 
+(* FIXME
 subsection {* Countable datatypes *}
 
 instance typerep :: countable
   by countable_datatype
+*)
 
 end
isabelle