blob: df8c3e65070b38770db35250b6c7847136926b6e (
plain)
1
2
3
4
5
6
7
8
9
|
The command has indeed failed with message:
The field t is missing in Top.M.
The command has indeed failed with message:
Unable to unify "nat" with "True".
The command has indeed failed with message:
In nested Ltac calls to "f" and "apply x", last call failed.
Unable to unify "nat" with "True".
The command has indeed failed with message:
Error: Instance is not well-typed in the environment of ?x.
|
