let keys = [|
"Note";
+ "NOTE";
|]
let heads = [|
- "Advanved";
+ "Advanced";
+ "Alternative";
"Basic";
"Constructions";
"Forward";
"Destructions";
"Eliminations";
"Eliminators";
+ "Equalities";
+ "Helper";
"Inversion";
"Inversions";
+ "Iterators";
"Main";
"Properties";
|]
aux (String.length s - 1)
let disambiguate_word s =
- if is_uppercase_ascii s then EP.CW s else
if Array.mem s keys then EP.KW s else
if Array.mem s heads then EP.HW s else
+ if is_uppercase_ascii s then EP.CW s else
EP.SW s
let log s =
let SP = " "
let NL = "\n"
let SR = "*"
-let OP = "(*" SP*
+let OP = "(*"
let CP = SR* "*)"
let PP = CP SP* OP
let WF = ['A'-'Z' 'a'-'z']