Changed sorry to oops to allow session build.
HOL-OCL/Isabelle_DOF/master This commit looks good
Details
HOL-OCL/Isabelle_DOF/master This commit looks good
Details
This commit is contained in:
parent
cd6e82949f
commit
eb772155ad
|
@ -1661,6 +1661,6 @@ writeln (DOF_core.toStringDocItemRef "scholarly_paper.introduction" "XX" []);
|
||||||
\<close>
|
\<close>
|
||||||
*)
|
*)
|
||||||
|
|
||||||
lemma X : "True" sorry
|
lemma X : "True" oops
|
||||||
|
|
||||||
end
|
end
|
||||||
|
|
Loading…
Reference in New Issue