pattern32_matrix = [];
level2_patterns32 = IntMap.empty;
interpretations = StringMap.empty;
- compiled32 = lazy (fun _ -> assert false)
+ compiled32 = lazy (Ncic2astMatcher.Matcher32.compiler [])
}
class type g_status =
let destroy_nat =
let is_nat_URI = NUri.eq (NUri.uri_of_string
- "cic:/matita/ng/arithmetics/nat/nat.ind") in
+ "cic:/matita/arithmetics/nat/nat.ind") in
let is_zero = function
| NCic.Const (NReference.Ref (uri, NReference.Con (0, 1, 0))) when
is_nat_URI uri -> true