1*Script 2*Theory.sig 3*Theory.sml 4*Theory.dat 5*.uo 6*.ui 7*.o 8.hollogs 9.HOLMK 10*.lex.sml 11*.grm.sig 12*.grm.sml 13*.grm-sig.sml 14*.grm.desc 15*.exe 16.DS_Store 17 18# LaTeX guff 19*.aux 20*.log 21*.toc 22*.dvi 23*.out 24*.idx 25*.ilg 26*.ind 27*.bbl 28*.blg 29*.tde 30*.tid 31*.tix 32*.hix 33*.fdb_latexmk 34*.synctex.gz 35 36#Generated Verilog from Iyoda/Gordon hw compilation 37*.vl 38 39config-override 40tools-poly/poly-includes.ML 41.kernelidstr 42 43*~ 44build-log 45svn-update 46developers/generateBuildSummary 47developers/comparelogs 48developers/docfiles/*.txt 49 50tools*/Holmake/Systeml.sml 51tools/Holmake/Lexer.sml 52tools/Holmake/Parser.sig 53tools/Holmake/Parser.sml 54 55sigobj/* 56tools/hol-mode.el 57tools/quote-filter/filter.sml 58tools/quote-filter/quote-filter 59tools/quote-filter/selftest 60tools/vim/filetype.vim 61tools/vim/hol-config.sml 62tools/vim/hol.vim 63tools/vim/vimhol.sml 64tools-poly/build-logs 65tools/build-stamp 66tools/lastbuildoptions 67tools/build-logs 68 69help/Docfiles/*.txt 70help/Docfiles/HTML/* 71help/HOLindex.html 72help/HOL.Help 73help/src-sml/htmlsigs 74help/src-sml/index.tex 75help/src-sml/index.txt 76help/theorygraph/*.html 77help/theorygraph/theories.dot 78help/theorygraph/theories.imap 79help/theorygraph/theories.svg 80help/theorygraph/theories.pdf 81 82src/bool/SharingTables.* 83src/emit/ML/*.sml 84src/emit/ML/*.sig 85src/emit/Caml/*.ml 86src/emit/Caml/*.mli 87src/quotient/Manual/quotient.pdf 88src/quotient/src/*.html 89src/quotient/src/*.lst 90src/HolSat/sat_solvers/zc2hs/*.h 91src/HolSat/sat_solvers/zc2hs/zc2hs 92src/HolSat/sat_solvers/minisat/minisat 93src/HolSat/sat_solvers/minisat/depend.mak 94src/num/arith/Manual/arith.pdf 95src/num/arith/Manual/arith.ps 96src/num/termination/numheap 97src/num/termination/numheap.o 98src/parse/base_lexer.sml 99src/quotient/examples/*/*.html 100src/quotient/examples/*/*.lst 101src/quotient/examples/*.html 102src/quotient/examples/*.lst 103src/res_quan/help/thms/ 104src/string/help 105src/TeX/holindex-demo.pdf 106src/TeX/holindex-demo.ps 107 108*.art 109 110Manual/*/*.pdf 111Manual/*/*.ps 112Manual/Reference/entries.tex 113Manual/Translations/*/*/*.pdf 114 115examples/dev/*.vl 116 117examples/machine-code/lisp/*.s 118examples/machine-code/just-in-time/*.s 119 120examples/muddy/muddyC/Makefile 121examples/muddy/muddyC/buddy/src/libbdd.a 122examples/muddy/muddyC/muddy.so 123 124examples/theorem-prover/lisp-runtime/bin/*.s 125 126examples/computability/lambda/computability-heap 127 128local-hol-heap 129examples/l3-machine-code/**/*-heap 130 131*Script_ttt.sml 132