https://github.com/JacquesCarette/hol-light
Revision 3041687a71afa02b00e52916f095010817bbc80d authored by aryafara on 21 June 2019, 20:59:16 UTC, committed by aryafara on 21 June 2019, 20:59:16 UTC
1 parent 9b01854
Tip revision: 3041687a71afa02b00e52916f095010817bbc80d authored by aryafara on 21 June 2019, 20:59:16 UTC
Manually went through list of both-modified files and replaced with hol-light\master variants, make should be usable now
Manually went through list of both-modified files and replaced with hol-light\master variants, make should be usable now
Tip revision: 3041687
File | Mode | Size |
---|---|---|
100 | ||
Arithmetic | ||
Boyer_Moore | ||
Complex | ||
Constructions | ||
Examples | ||
Formal_ineqs | ||
Functionspaces | ||
Geometric_Algebra | ||
Help | ||
IEEE | ||
IsabelleLight | ||
Jordan | ||
LP_arith | ||
Library | ||
Logic | ||
Minisat | ||
Mizarlight | ||
Model | ||
Multivariate | ||
Ntrie | ||
Permutation | ||
ProofTrace | ||
Proofrecording | ||
QBF | ||
Quaternions | ||
RichterHilbertAxiomGeometry | ||
Rqe | ||
Tutorial | ||
Unity | ||
miz3 | ||
.gitattributes | -rw-r--r-- | 57 bytes |
.gitignore | -rw-r--r-- | 58 bytes |
CHANGES | -rw-r--r-- | 576.6 KB |
LICENSE | -rw-r--r-- | 1.6 KB |
Makefile | -rw-r--r-- | 8.9 KB |
QUICK_REFERENCE.txt | -rw-r--r-- | 90.5 KB |
README | -rw-r--r-- | 1.7 KB |
README-hol-light | -rw-r--r-- | 11.0 KB |
VERYQUICK_REFERENCE.txt | -rw-r--r-- | 19.3 KB |
all_diffs.txt | -rw-r--r-- | 151.5 KB |
arith.ml | -rw-r--r-- | 68.8 KB |
basics.ml | -rw-r--r-- | 17.9 KB |
bool.ml | -rw-r--r-- | 17.2 KB |
boot.ml | -rw-r--r-- | 360 bytes |
calc_int.ml | -rw-r--r-- | 14.7 KB |
calc_num.ml | -rw-r--r-- | 66.3 KB |
calc_rat.ml | -rw-r--r-- | 25.3 KB |
canon.ml | -rw-r--r-- | 33.1 KB |
cart.ml | -rw-r--r-- | 28.9 KB |
class.ml | -rw-r--r-- | 19.6 KB |
compute.ml | -rw-r--r-- | 27.7 KB |
database.ml | -rw-r--r-- | 83.8 KB |
define.ml | -rw-r--r-- | 46.0 KB |
doc-to-help.sed | -rw-r--r-- | 971 bytes |
drule.ml | -rw-r--r-- | 20.7 KB |
equal.ml | -rw-r--r-- | 13.4 KB |
firstorder.ml | -rw-r--r-- | 8.2 KB |
fusion.ml | -rw-r--r-- | 73.9 KB |
grobner.ml | -rw-r--r-- | 31.4 KB |
help.ml | -rw-r--r-- | 5.7 KB |
hol.ml | -rw-r--r-- | 9.0 KB |
holtest | -rwxr-xr-x | 15.5 KB |
holtest.mk | -rw-r--r-- | 6.2 KB |
holtest_parallel | -rwxr-xr-x | 1.2 KB |
impconv.ml | -rw-r--r-- | 65.6 KB |
ind_defs.ml | -rw-r--r-- | 19.9 KB |
ind_types.ml | -rw-r--r-- | 70.6 KB |
int.ml | -rw-r--r-- | 86.5 KB |
itab.ml | -rw-r--r-- | 3.9 KB |
iterate.ml | -rw-r--r-- | 108.7 KB |
lib.ml | -rw-r--r-- | 28.8 KB |
lists.ml | -rw-r--r-- | 30.3 KB |
make.ml | -rw-r--r-- | 2.5 KB |
meson.ml | -rw-r--r-- | 35.9 KB |
metis.ml | -rw-r--r-- | 331.0 KB |
nets.ml | -rw-r--r-- | 6.3 KB |
normalizer.ml | -rw-r--r-- | 24.4 KB |
nums.ml | -rw-r--r-- | 13.7 KB |
pa_j_3.07.ml | -rw-r--r-- | 83.3 KB |
pa_j_3.08.ml | -rw-r--r-- | 75.9 KB |
pa_j_3.09.ml | -rw-r--r-- | 77.0 KB |
pa_j_3.1x_5.xx.ml | -rw-r--r-- | 67.5 KB |
pa_j_3.1x_6.02.1.ml | -rw-r--r-- | 94.7 KB |
pa_j_3.1x_6.02.2.ml | -rw-r--r-- | 94.6 KB |
pa_j_3.1x_6.11.ml | -rw-r--r-- | 98.5 KB |
pa_j_3.1x_6.xx.ml | -rw-r--r-- | 94.6 KB |
pa_j_4.xx_7.06.ml | -rw-r--r-- | 98.6 KB |
pa_j_4.xx_7.xx.ml | -rwxr-xr-x | 98.6 KB |
pair.ml | -rw-r--r-- | 18.9 KB |
parser.ml | -rw-r--r-- | 23.4 KB |
preterm.ml | -rw-r--r-- | 21.3 KB |
printer.ml | -rw-r--r-- | 24.8 KB |
quot.ml | -rw-r--r-- | 8.0 KB |
real.ml | -rw-r--r-- | 60.4 KB |
realarith.ml | -rw-r--r-- | 25.6 KB |
realax.ml | -rw-r--r-- | 87.2 KB |
recursion.ml | -rw-r--r-- | 5.5 KB |
sets.ml | -rw-r--r-- | 178.7 KB |
simp.ml | -rw-r--r-- | 26.6 KB |
system.ml | -rw-r--r-- | 2.4 KB |
tactics.ml | -rw-r--r-- | 35.7 KB |
thecops.ml | -rw-r--r-- | 53.4 KB |
theorems.ml | -rw-r--r-- | 20.2 KB |
trivia.ml | -rw-r--r-- | 3.4 KB |
update_database.ml | -rw-r--r-- | 8.8 KB |
wf.ml | -rw-r--r-- | 18.2 KB |
Computing file changes ...