Files

basis
candle
characteristic
- examples
- Holmakefile
- README.md
- cfAppLib.sig
- cfAppLib.sml
- cfAppScript.sml
- cfAppSyntax.sig
- cfAppSyntax.sml
- cfComputeLib.sml
- cfDivLib.sml
- cfDivScript.sml
- cfFFITypeScript.sml
- cfHeapsBaseLib.sig
- cfHeapsBaseLib.sml
- cfHeapsBaseScript.sml
- cfHeapsBaseSyntax.sml
- cfHeapsLib.sig
- cfHeapsLib.sml
- cfHeapsScript.sml
- cfLetAutoLib.sig
- cfLetAutoLib.sml
- cfLetAutoScript.sml
- cfLib.sml
- cfMainScript.sml
- cfNormaliseLib.sig
- cfNormaliseLib.sml
- cfNormaliseScript.sml
- cfScript.sml
- cfStoreScript.sml
- cfSyntax.sig
- cfSyntax.sml
- cfTacticsBaseLib.sig
- cfTacticsBaseLib.sml
- cfTacticsLib.sig
- cfTacticsLib.sml
- cfTacticsScript.sml
- cf_examples_pmatch.sml
- eqSolveRewriteLib.sig
- eqSolveRewriteLib.sml
- evarsConseqConvLib.sig
- evarsConseqConvLib.sml
- readmePrefix
- xcf.sig
- xcf.sml
- xcfScript.sml
compiler
cv_translator
developers
examples
icing
misc
pancake
semantics
translator
tutorial
unverified
.gitignore
.holpath
COPYING
Holmakefile
README.md
build-instructions.sh
code-of-conduct.md
how-to.md
readmePrefix

readmePrefix

Make readme_gen deal with subdirs and lem files

Nov 17, 2016

e36b1b8 · Nov 17, 2016