https://github.com/JacquesCarette/hol-light
Tip revision: b27a524086caf73530b7c2c5da1b237d3539f143 authored by Jacques Carette on 24 August 2020, 14:18:07 UTC
Merge pull request #35 from sjjs7/final-changes
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 |