Commit 6c26fe96 authored by Stefan Berghofer's avatar Stefan Berghofer Committed by MARCHE Claude
Browse files

Import Word theories

parent a8affa1c
theory Why3_Setup
imports Main
imports "~~/src/HOL/Word/Word" "~~/src/HOL/Word/Bit_Comparison"
"why3_open" :: thy_load and
"why3_end" "why3_consts" "why3_types" "why3_thms" "why3_defs" :: thy_decl and
Supports Markdown
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