Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Library.thy
changeset 70342 e4d626692640
parent 70042 45787384ff86
child 71035 6fe5a0e1fa8e 
--- a/src/HOL/Library/Library.thy	Fri Jun 14 08:34:27 2019 +0000
+++ b/src/HOL/Library/Library.thy	Fri Jun 14 08:34:27 2019 +0000
@@ -4,7 +4,6 @@
   AList
   Adhoc_Overloading
   BigO
-  Bit
   BNF_Axiomatization
   BNF_Corec
   Boolean_Algebra
@@ -94,6 +93,7 @@
   Type_Length
   Uprod
   While_Combinator
+  Z2
 begin
 end
 (*>*)
isabelle