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.
reflect moved theories
authornipkow
Wed, 25 Aug 2021 22:10:15 +0200
changeset 74193 2b00c267196e
parent 74192 852df4f1dbfa
child 74198 f54b061c2c22
reflect moved theories
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Aug 25 21:46:34 2021 +0200
+++ b/src/HOL/ROOT	Wed Aug 25 22:10:15 2021 +0200
@@ -28,6 +28,7 @@
     Coherent
     Commands
     Drinker
+    Functions
     Groebner_Examples
     Iff_Oracle
     Induction_Schema
@@ -665,7 +666,6 @@
     Eval_Examples
     Executable_Relation
     Execute_Choice
-    Functions
     Function_Growth
     Gauge_Integration
     Guess
isabelle