Add HOL Light and its dependencies.
[nixpkgs-libre.git] / pkgs / applications / science / logic / hol_light / 
tree8e535dd33c55bce063655e12252299f255c2ba5f
drwxr-xr-x   ..
-rw-r--r-- 1839 binaries.nix
-rwxr-xr-x 44353 configure-3.09.3
-rw-r--r-- 2199 default.nix
-rw-r--r-- 850 ocaml-with-sources.nix
-rw-r--r-- 1389 selfcheckpoint_complex.ml
-rw-r--r-- 1299 selfcheckpoint_core.ml
-rw-r--r-- 1367 selfcheckpoint_multivariate.ml