Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

04_RefMan.thy
Isabelle_DOF/Isabelle_DOF/master This commit looks good Details

This commit is contained in:
Burkhart Wolff 2019-07-23 16:04:08 +02:00
parent b894ee31a0
commit 6526fd2e70
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
View File

@ -657,7 +657,7 @@ doc_class F =
u :: "file"
s :: "typ list"
(*
(* BUG BUG BUG
assert*[aaa::"04_RefMan.F"] "3 < (4::int)"
assert*[aaa::F] "0 < (4::int)"
*)