https://github.com/JacquesCarette/hol-light
History
Tip revision: b27a524086caf73530b7c2c5da1b237d3539f143 authored by Jacques Carette on 24 August 2020, 14:18:07 UTC
Merge pull request #35 from sjjs7/final-changes
Tip revision: b27a524
File Mode Size
Doc
ConstructionTactics.ml -rw-r--r-- 277 bytes
Induction_Schema_Example.ml -rw-r--r-- 8.9 KB
LEM_Example.ml -rw-r--r-- 8.6 KB
LEM_hole.ml -rw-r--r-- 2.2 KB
QE_tests.ml -rw-r--r-- 4.8 KB
QuotationOperatorTests.ml -rw-r--r-- 2.7 KB
QuotationTactics.ml -rw-r--r-- 8.9 KB
eps_additon.ml -rw-r--r-- 51.9 KB
eps_multi.ml -rw-r--r-- 31.0 KB
epsilon.ml -rw-r--r-- 31.1 KB
gen_tactics.ml -rw-r--r-- 1.4 KB
hol-light-qe-overview-aug-2017.pdf -rw-r--r-- 117.0 KB
hol-light-qe-overview-aug-2017.tex -rw-r--r-- 17.5 KB
hol-light-qe-overview-aug-2020.pdf -rw-r--r-- 112.7 KB
hol-light-qe-overview-aug-2020.tex -rw-r--r-- 8.0 KB
nat_arithmetic.ml -rw-r--r-- 28.1 KB
pseudoquotation.ml -rw-r--r-- 1.9 KB

back to top