--- a/src/Provers/splitter.ML Thu Sep 11 20:01:29 2014 +0200
+++ b/src/Provers/splitter.ML Thu Sep 11 21:11:03 2014 +0200
@@ -207,8 +207,8 @@
(****************************************************************************
- Recursively scans term for occurences of Const(key,...) $ ...
- Returns a list of "split-packs" (one for each occurence of Const(key,...) )
+ Recursively scans term for occurrences of Const(key,...) $ ...
+ Returns a list of "split-packs" (one for each occurrence of Const(key,...) )
cmap : association list of split-theorems that should be tried.
The elements have the format (key,(thm,T,n)) , where