# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1648046171 0
# Node ID c8a9bf6d9b389c9ca585c05f85add36080067616
# Parent  2a916311c3765ded0856d7db76eb29bcebd493db
... and removing Primrec from ROOT too

diff -r 2a916311c376 -r c8a9bf6d9b38 src/HOL/ROOT
--- 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