src/HOL/ROOT
changeset 59871 e1a49ac9c537
parent 59810 e749a0f2f401
child 59903 9d70a39d1cf3
     1.1 --- a/src/HOL/ROOT	Wed Apr 01 14:48:38 2015 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Apr 01 15:47:55 2015 +0100
     1.3 @@ -527,6 +527,7 @@
     1.4      "~~/src/HOL/Library/Transitive_Closure_Table"
     1.5      Cartouche_Examples
     1.6    theories
     1.7 +    Approximations
     1.8      Commands
     1.9      Adhoc_Overloading_Examples
    1.10      Iff_Oracle