src/HOL/ROOT
changeset 57507 a609065c9e15
parent 57434 6ea8b8592787
child 57543 36041934e429
     1.1 --- a/src/HOL/ROOT	Fri Jul 04 15:46:13 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Jul 04 15:50:28 2014 +0200
     1.3 @@ -521,6 +521,7 @@
     1.4      "~~/src/HOL/Library/Transitive_Closure_Table"
     1.5      Cartouche_Examples
     1.6    theories
     1.7 +    Adhoc_Overloading_Examples
     1.8      Iff_Oracle
     1.9      Coercion_Examples
    1.10      Higher_Order_Logic