1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* ========================================================================= *)
(* Isabelle Light *)
(* Isabelle/Procedural style additions and other user-friendly shortcuts. *)
(* *)
(* Petros Papapanagiotou, Jacques Fleuriot *)
(* Center of Intelligent Systems and their Applications *)
(* University of Edinburgh *)
(* 2009-2012 *)
(* ========================================================================= *)
(* FILE : isahol.ml *)
(* DESCRIPTION : Main loader. *)
(* LAST MODIFIED: December 2010 *)
(* ========================================================================= *)
let paths = [".";"$/IsabelleLight"]
in map (fun st -> load_on_path paths st)
["support.ml";
"new_tactics.ml";
"meta_rules.ml"];;
|
