UP

Contents of Factasia directory: rbjpub/pp

Hit figures shown are for one calendar month.

This directory contains the following subdirectories:

directoryhits
doc95
gst979

and the following files:
nametitlesizehitsmdate
WfRec-i.html252572008-04-14
WfRec-m.html72280102008-04-14
WfRec.htmlWell-Founded Recursion1096102008-04-14
WfRecp-i.html255962008-04-14
WfRecp-m.html75406102008-04-14
WfRecp.htmlRecursion Theorem for Well-Founded Relations as Properties116742008-04-14
WfRel-i.html255372008-04-14
WfRel-m.html118856102008-04-14
WfRel.htmlTransitive and Well-Founded Relations1131102008-04-14
analysis-i.html269882008-04-14
analysis-m.html77472562008-04-14
analysis.htmlThe Theory analysis99652008-04-14
basic_hol-i.html177482008-04-14
basic_hol-m.html291872008-04-14
basic_hol.htmlThe Theory basic_hol100342008-04-14
bin_rel-i.html2939142008-04-14
bin_rel-m.html65088102008-04-14
bin_rel.htmlThe Theory bin_rel98962008-04-14
char-i.html2460172008-04-14
char-m.html6880152008-04-14
char.htmlThe Theory char96892008-04-14
fixp-i.html1994122008-04-14
fixp-m.html24526102008-04-14
fixp.htmlThe Theory fixp96862008-04-14
hol-i.html1531152008-04-14
hol-m.html2187152008-04-14
hol.htmlThe Theory hol961112008-04-14
index-i.html3030142008-04-14
index-m.html35483212008-04-14
index.htmlProofPower and its use at RBJones.com1168172008-04-14
init-i.html1756122008-04-14
init-m.html5556142008-04-14
init.htmlThe Theory init96892008-04-14
int-i.html2879122008-04-14
int-m.html120021132008-04-14
int.htmlThe Theory %int%96962008-04-14
list-i.html2886162008-04-14
list-m.html27196142008-04-14
list.htmlThe Theory list96872008-04-14
log-i.html2441172008-04-14
log-m.html16224182008-04-14
log.htmlThe Theory log961112008-04-14
min-i.html2206102008-04-14
min-m.html5944142008-04-14
min.htmlThe Theory min96182008-04-14
misc-i.html2898152008-04-14
misc-m.html40914152008-04-14
misc.htmlThe Theory misc968102008-04-14
nat-i.html2656142008-04-14
nat-m.html58727142008-04-14
nat.htmlThe Theory %nat%969122008-04-14
pair-i.html2894102008-04-14
pair-m.html14716122008-04-14
pair.htmlThe Theory pair96882008-04-14
pc-i.html2642122008-04-14
pc-m.html32068152008-04-14
pc.htmlThe Theory pc95462008-04-14
pp-smlxtras-i.html181982008-04-14
pp-smlxtras-m.html20178102008-04-14
pp-smlxtras.htmlExtra sml procedures for ProofPower114792008-04-14
pp_theories.pdf...14251722008-04-14
ppchartable.htmlProofPower Special Character Table49386212008-04-14
pptheories-i.html...137582006-05-04
pptheories-m.html...1168262006-05-04
pptheories.htmlListings of some theories built into ProofPower11953102008-04-14
pure_categories-i.html259842008-04-14
pure_categories-m.html6319072008-04-14
pure_categories.htmlA Theory of Pure Categories114662008-04-14
rda001.html39 famous theorems in ProofPower96387172008-04-14
real-i.html288892008-04-14
real-m.html272749132008-04-14
real.htmlThe Theory %real%97682008-04-14
sets-i.html2662112008-04-14
sets-m.html48844122008-04-14
sets.htmlThe Theory sets968102008-04-14
si-i.html2422122008-04-14
si-m.html16206152008-04-14
si.htmlThe Theory si95462008-04-14
strong_infinity-i.html235162008-04-14
strong_infinity-m.html33640102008-04-14
strong_infinity.htmlA strong axiom of infinity for HOL110982008-04-14
wf_rec-i.html2004122008-04-14
wf_rec-m.html16852132008-04-14
wf_rec.htmlThe Theory wf_rec98272008-04-14
wf_recp-i.html2234122008-04-14
wf_recp-m.html26733132008-04-14
wf_recp.htmlThe Theory wf_recp98962008-04-14
wf_rel-i.html2004122008-04-14
wf_rel-m.html16392152008-04-14
wf_rel.htmlThe Theory wf_rel98292008-04-14
wf_relp-i.html2238102008-04-14
wf_relp-m.html3456992008-04-14
wf_relp.htmlThe Theory wf_relp98982008-04-14
x001-i.html324882008-04-14
x001-m.html84259102008-04-14
x001.htmlA theory of fixed points106472008-04-14
x002-i.html2823102008-04-14
x002-m.html110742112008-04-14
x002.htmlTransitive and Well-Founded Relations as Properties114382008-04-14
x003-i.html248782008-04-14
x003-m.html131324102008-04-14
x003.htmlAnalyticity and Deduction107792008-04-14
x003t-i.html1999132008-04-14
x003t-m.html7478152008-04-14
x003t.htmlThe Theory x003t97572008-04-14
x003u-i.html1999112008-04-14
x003u-m.html7893152008-04-14
x003u.htmlThe Theory x003u97592008-04-14
x003v-i.html1999112008-04-14
x003v-m.html12409142008-04-14
x003v.htmlThe Theory x003v97582008-04-14
x004-i.html261272008-04-14
x004-m.html2197692008-04-14
x004.htmlWell-Foundedness and Recursion111282008-04-14
x005-i.html227782008-04-14
x005-m.html23974102008-04-14
x005.htmlProofPower99582008-04-14

up home rbj 00-00-00