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/ROOT
changeset 71924 e5df9c8d9d4b
parent 71844 57ace76cbffa
child 71925 bf085daea304 
--- a/src/HOL/ROOT	Sat Jun 06 10:58:13 2020 +0200
+++ b/src/HOL/ROOT	Mon Jun 08 15:09:57 2020 +0200
@@ -702,8 +702,6 @@
     Mutilated_Checkerboard
     Puzzle
     Summation
-    First_Order_Logic
-    Higher_Order_Logic
   document_files
     "root.bib"
     "root.tex"
isabelle