49
49
"Implicit Arguments"; "Add"; "Strict";
50
50
"Typeclasses"; "Instance"; "Global Instance"; "Class"; "Instantiation";
53
54
"Program Definition"; "Program Example"; "Program Fixpoint"; "Program Lemma";
54
55
"Obligation"; "Obligations"; "Solve"; "using"; "Next Obligation"; "Next";