* http://helm.cs.unibo.it/
*)
-let _ =
- let const s = Cic.Const (s, []) in
- let mutind s = Cic.MutInd (s, 0, []) in
+(* $Id$ *)
+let _ =
DisambiguateChoices.add_num_choice
("natural number",
(fun _ num _ -> HelmLibraryObjects.build_nat (int_of_string num)));