blob: 44c019513c730dd6bd23aaa421b992ee9c74f226 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
(* Library stuff *)
#use "TacticRecording/lib.ml";;
#use "TacticRecording/dltree.mli";;
#use "TacticRecording/dltree.ml";;
(* Datatypes and recording mechanism *)
#use "TacticRecording/xthm.ml";;
#use "TacticRecording/xtactics.ml";;
#use "TacticRecording/tacticrec.ml";;
#use "TacticRecording/wrappers.ml";;
(* Prooftree support *)
#use "TacticRecording/prooftree.ml";;
(* Hiproofs, refactoring and export *)
#use "TacticRecording/hiproofs.ml";;
#use "TacticRecording/mlexport.ml";;
(* Overwriting the existing HOL Light objects *)
#use "TacticRecording/promote.ml";;
|
