adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

isabelle2021-1: DSpec 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2022-01-14 09:41:14 +11:00 committed by Gerwin Klein
parent 78930612c3
commit eb74ae17bf
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
spec/ROOT
View File

@ -110,6 +110,7 @@ session DSpec in capDL = Word_Lib +
sessions
ExecSpec
ASpec
"HOL-Combinatorics" (* for Fun.swap *)
theories
Syscall_D

1
spec/capDL/Types_D.thy
View File

@ -16,6 +16,7 @@ imports
"ASpec.VMRights_A"
Intents_D
"Lib.SplitRule"
"HOL-Combinatorics.Transposition" (* for Fun.swap *)
begin
(* A hardware IRQ number. *)