forked from Isabelle_DOF/Isabelle_DOF
intermediate stage for onto after discussion this morning.
This commit is contained in:
parent
b3540f8f45
commit
c8d87af2e6
|
@ -146,7 +146,7 @@ solution > subsolution
|
||||||
- proof derivation
|
- proof derivation
|
||||||
|
|
||||||
marking > submarking
|
marking > submarking
|
||||||
|
|
||||||
grade
|
grade
|
||||||
|
|
||||||
Invarianten:
|
Invarianten:
|
||||||
|
|
Reference in New Issue