Skip to content
This repository

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

..
Octocat-spinner-32 0
Octocat-spinner-32 1
Octocat-spinner-32 Boolify change interface to add_persistent_funs (#73) and fix more calls July 30, 2012
Octocat-spinner-32 HolQbf Rename holqbf script so that build/compile doesn't see it. May 14, 2012
Octocat-spinner-32 HolSat
Octocat-spinner-32 HolSmt
Octocat-spinner-32 IndDef
Octocat-spinner-32 TeX
Octocat-spinner-32 bag
Octocat-spinner-32 basicProof
Octocat-spinner-32 bool
Octocat-spinner-32 boss
Octocat-spinner-32 combin
Octocat-spinner-32 complex
Octocat-spinner-32 compute
Octocat-spinner-32 datatype
Octocat-spinner-32 emit
Octocat-spinner-32 experimental-kernel
Octocat-spinner-32 finite_map
Octocat-spinner-32 float Some more fixes, including to a couple of examples that grep turned up November 26, 2008
Octocat-spinner-32 hol88 Removed further functions from hol88Lib. September 21, 2009
Octocat-spinner-32 integer
Octocat-spinner-32 list
Octocat-spinner-32 lite Point liteLib.ABS_CONV to Conv's version. February 02, 2012
Octocat-spinner-32 llist
Octocat-spinner-32 logging-kernel
Octocat-spinner-32 marker Document Q.PAT_ABBREV_TAC. Also flip the default setting of "PAT_ABBR… August 06, 2012
Octocat-spinner-32 meson Canonicalise some variants of README filenames. Closes #47. November 25, 2011
Octocat-spinner-32 metis Fixes an error in METIS_TAC for boundary cases of genvars. September 29, 2011
Octocat-spinner-32 monad
Octocat-spinner-32 n-bit
Octocat-spinner-32 num
Octocat-spinner-32 one
Octocat-spinner-32 opentheory
Octocat-spinner-32 option
Octocat-spinner-32 pair
Octocat-spinner-32 parse
Octocat-spinner-32 path Adopt ML-style syntax for case expressions and use freed up "||" for … September 23, 2011
Octocat-spinner-32 patricia
Octocat-spinner-32 pfl
Octocat-spinner-32 portableML
Octocat-spinner-32 postkernel
Octocat-spinner-32 pred_set
Octocat-spinner-32 prekernel
Octocat-spinner-32 probability
Octocat-spinner-32 proofman
Octocat-spinner-32 q
Octocat-spinner-32 quantHeuristics
Octocat-spinner-32 quotient
Octocat-spinner-32 rational temporalLib was failing to load. ratLib was referring to the defunct … April 11, 2012
Octocat-spinner-32 real
Octocat-spinner-32 refute use Conv.ABS_CONV instead of liteLib.ABS_CONV in Canon.PRENEX_CONV February 01, 2012
Octocat-spinner-32 relation
Octocat-spinner-32 res_quan Remove trailing white-space in a bunch of .tex files. October 21, 2011
Octocat-spinner-32 ring Fix bug causing numRingLib to fail to load. August 04, 2011
Octocat-spinner-32 simp
Octocat-spinner-32 sort
Octocat-spinner-32 string
Octocat-spinner-32 sum
Octocat-spinner-32 taut Moved documentation from src/*/help/entries directories to help/Docfi… August 06, 2010
Octocat-spinner-32 temporal temporalLib was failing to load. ratLib was referring to the defunct … April 11, 2012
Octocat-spinner-32 tfl
Octocat-spinner-32 unwind Canonicalise some variants of README filenames. Closes #47. November 25, 2011
Octocat-spinner-32 update
Octocat-spinner-32 utils These files are no longer compiled as part of the distribution, so there December 14, 1999
Something went wrong with that request. Please try again.