forked from jrh13/hol-light
-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathhol_loader.ml
More file actions
13 lines (12 loc) · 914 Bytes
/
hol_loader.ml
File metadata and controls
13 lines (12 loc) · 914 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
(* ========================================================================= *)
(* HOL LIGHT *)
(* *)
(* Modern OCaml version of the HOL theorem prover *)
(* *)
(* John Harrison *)
(* *)
(* (c) Copyright, University of Cambridge 1998 *)
(* (c) Copyright, John Harrison 1998-2024 *)
(* (c) Copyright, Juneyoung Lee 2024 *)
(* ========================================================================= *)
let hol_dir = ref "hol-light/";;