Commit 40eec314 authored by Stefan Berghofer's avatar Stefan Berghofer

New commands for associating Why3 definitions with Isabelle counterparts

parent 25a65bc7
theory Why3_Setup
imports Main
keywords
"why3_open" "why3_end" :: thy_decl and
"why3_open" "why3_end"
"why3_consts" "why3_types" "why3_thms" "why3_defs" :: thy_decl and
"why3_vc" :: thy_goal and "why3_status" :: diag
begin
......
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment