src/HOL/BNF/BNF.thy

simplified entropy_uniform

+
−(*  Title:      HOL/BNF/BNF.thy
+
−    Author:     Dmitriy Traytel, TU Muenchen
+
−    Author:     Andrei Popescu, TU Muenchen
+
−    Author:     Jasmin Blanchette, TU Muenchen
+
−    Copyright   2012
+
−
+
−Bounded natural functors for (co)datatypes.
+
−*)
+
−
+
−header {* Bounded Natural Functors for (Co)datatypes *}
+
−
+
−theory BNF
+
−imports More_BNFs
+
−begin
+
−
+
−end