]> matita.cs.unibo.it Git - helm.git/blob - helm/gTopLevel/proofEngineStructuralRules.mli
projects / helm.git / blob
? search:


a0a423cffb6737509e81d4d2abe02dc0a9a6757e
[helm.git] / helm / gTopLevel / proofEngineStructuralRules.mli
1 val clearbody:
2   status: ProofEngineTypes.status ->
3   hyp: Cic.hypothesis -> ProofEngineTypes.status
4 val clear:
5   status: ProofEngineTypes.status ->
6   hyp: Cic.hypothesis -> ProofEngineTypes.status
Unnamed repository; edit this file 'description' to name the repository.