we hebben nog een contraint toegevoegd (omdat soms ten onrechte een geval werd geaccepteerd)
"check-proofsteps: not basestep (not recognized)"
NE Dit is geen correcte instantiatie van een basisstap
EN This is not a correct instantiation of a basestep
idem voor inductiestap
en voor ihstep:
NE Dit is geen correcte inductiehypothese
EN This is not a correct inductionhypothesis
we hebben nog een contraint toegevoegd (omdat soms ten onrechte een geval werd geaccepteerd) "check-proofsteps: not basestep (not recognized)" NE Dit is geen correcte instantiatie van een basisstap EN This is not a correct instantiation of a basestep
idem voor inductiestap
en voor ihstep: NE Dit is geen correcte inductiehypothese EN This is not a correct inductionhypothesis