# HG changeset patch # User paulson # Date 905442554 -7200 # Node ID a4c9eaff23336436fabc857ef50f9509cbf7fcf7 # Parent 855654b691db60b64324cbb9cc3db933926efcfd Now WO1_WO7 has a .thy file diff -r 855654b691db -r a4c9eaff2333 src/ZF/AC/ROOT.ML --- a/src/ZF/AC/ROOT.ML Thu Sep 10 17:42:44 1998 +0200 +++ b/src/ZF/AC/ROOT.ML Thu Sep 10 17:49:14 1998 +0200 @@ -15,7 +15,7 @@ time_use "WO1_WO6.ML"; time_use_thy "WO6_WO1"; -time_use "WO1_WO7.ML"; +time_use_thy "WO1_WO7"; time_use "WO1_WO8.ML"; time_use "AC0_AC1.ML";