--- a/src/HOL/ROOT Wed Apr 01 14:48:38 2015 +0100
+++ b/src/HOL/ROOT Wed Apr 01 15:47:55 2015 +0100
@@ -527,6 +527,7 @@
"~~/src/HOL/Library/Transitive_Closure_Table"
Cartouche_Examples
theories
+ Approximations
Commands
Adhoc_Overloading_Examples
Iff_Oracle