--- a/src/HOL/ROOT Fri Jun 10 22:47:25 2016 +0200
+++ b/src/HOL/ROOT Fri Jun 10 23:13:04 2016 +0200
@@ -545,7 +545,6 @@
Hebrew
Chinese
Serbian
- "~~/src/HOL/Library/FinFun_Syntax"
"~~/src/HOL/Library/Refute"
"~~/src/HOL/Library/Transitive_Closure_Table"
Cartouche_Examples