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

proof/ROOT: remove unnecessary quick_and_dirty

This commit is contained in:
Gerwin Klein 2018-06-24 16:52:09 +02:00
parent a64ac59d47
commit 6bfa3bd7a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/ROOT
View File

@ -196,7 +196,7 @@ session Bisim in bisim = AInvs +
session SepTacticsExamples = SepTactics +
sessions
SepDSpec
theories [quick_and_dirty]
theories
"capDL-api/Sep_Tactic_Examples"