IsabelleLight/isalight.ml

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