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

apply_debug: include apply_debug by default

This commit is contained in:
Daniel Matichuk 2017-02-15 14:46:39 +11:00
parent 2ac4fa3509
commit ba62c94331
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/NICTATools.thy
View File

@ -12,6 +12,7 @@
theory NICTATools
imports
Apply_Trace_Cmd
Apply_Debug
(* Solves_Tac *)
Rule_By_Method
Eisbach_Methods