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.
... and removing Primrec from ROOT too
authorpaulson <lp15@cam.ac.uk>
Wed, 23 Mar 2022 14:36:11 +0000
changeset 75303 c8a9bf6d9b38
parent 75302 2a916311c376
child 75317 8fcf57708636
... and removing Primrec from ROOT too
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Mar 23 14:22:56 2022 +0000
+++ b/src/HOL/ROOT	Wed Mar 23 14:36:11 2022 +0000
@@ -689,7 +689,6 @@
     Peano_Axioms
     Perm_Fragments
     PresburgerEx
-    Primrec
     Pythagoras
     Quicksort
     Radix_Sort
isabelle