UP

Contents of RBJones.com directory: rbjpub/pp

Hit figures shown are for one calendar month.

This directory contains the following subdirectories:

directoryhits
doc1400
gst1568

and the following files:
nametitlesizehitsmdate
WfRec-i.html2562102016-01-18
WfRec-m.htmlWell-Founded Recursion48905122016-01-18
WfRec.htmlWell-Founded Recursion1096182016-01-18
WfRecp-i.html2594112016-01-18
WfRecp-m.htmlRecursion Theorem for Well-Founded Relations as Properties52336162016-01-18
WfRecp.htmlRecursion Theorem for Well-Founded Relations as Properties1165172016-01-18
WfRel-i.html259092016-01-18
WfRel-m.htmlTransitive and Well-Founded Relations63785142016-01-18
WfRel.htmlTransitive and Well-Founded Relations1131182016-01-18
analysis-i.html2735252016-01-18
analysis-m.htmlThe Theory analysis412031282016-01-18
analysis.htmlThe Theory analysis996202016-01-18
basic_hol-i.html1811182016-01-18
basic_hol-m.htmlThe Theory basic_hol3051212016-01-18
basic_hol.htmlThe Theory basic_hol1003142016-01-18
bin_rel-i.html2976242016-01-18
bin_rel-m.htmlThe Theory bin_rel38152232016-01-18
bin_rel.htmlThe Theory bin_rel989152016-01-18
char-i.html2497222016-01-18
char-m.htmlThe Theory char6005222016-01-18
char.htmlThe Theory char968182016-01-18
dyadic-i.html2741152016-01-18
dyadic-m.htmlThe Theory dyadic17483202016-01-18
dyadic.htmlThe Theory dyadic982192016-01-18
fixp-i.html2031212016-01-18
fixp-m.htmlThe Theory fixp16505222016-01-18
fixp.htmlThe Theory fixp968202016-01-18
hol-i.html1568212016-01-18
hol-m.htmlThe Theory hol2314242016-01-18
hol.htmlThe Theory hol961182016-01-18
index-i.html3067302016-01-18
index-m.htmlProofPower and its use at RBJones.com37237382016-01-18
index.htmlProofPower and its use at RBJones.com1168322016-01-18
init-i.html1793182016-01-18
init-m.htmlThe Theory init4110222016-01-18
init.htmlThe Theory init968132016-01-18
int-i.html2916212016-01-18
int-m.htmlThe Theory %int%61719222016-01-18
int.htmlThe Theory %int%969132016-01-18
list-i.html2923202016-01-18
list-m.htmlThe Theory list18967232016-01-18
list.htmlThe Theory list968202016-01-18
log-i.html2478162016-01-18
log-m.htmlThe Theory log10767182016-01-18
log.htmlThe Theory log961162016-01-18
min-i.html2243222016-01-18
min-m.htmlThe Theory min5170202016-01-18
min.htmlThe Theory min961172016-01-18
misc-i.html2935152016-01-18
misc-m.htmlThe Theory misc22581192016-01-18
misc.htmlThe Theory misc968172016-01-18
nat-i.html2693192016-01-18
nat-m.htmlThe Theory %nat%34355242016-01-18
nat.htmlThe Theory %nat%969162016-01-18
one-i.html2470242016-01-18
one-m.htmlThe Theory one5433202016-01-18
one.htmlThe Theory one961182016-01-18
orders-i.html2493212016-01-18
orders-m.htmlThe Theory orders38317232016-01-18
orders.htmlThe Theory orders982182016-01-18
pair-i.html2931272016-01-18
pair-m.htmlThe Theory pair13179252016-01-18
pair.htmlThe Theory pair968152016-01-18
pc-i.html2679182016-01-18
pc-m.htmlThe Theory pc20066232016-01-18
pc.htmlThe Theory pc954112016-01-18
pp-smlxtras-i.html1856262016-01-18
pp-smlxtras-m.htmlExtra sml procedures for ProofPower19500272016-01-18
pp-smlxtras.htmlExtra sml procedures for ProofPower1147282016-01-18
ppchartable.htmlProofPower Special Character Table49478332016-01-18
pptheories.htmlListings of some theories built into ProofPower14195252016-01-18
pure_categories-i.html2635112016-01-18
pure_categories-m.htmlA Theory of Pure Categories48941182016-01-18
pure_categories.htmlA Theory of Pure Categories1146132016-01-18
rda001.html42 famous theorems in ProofPower105671532016-01-18
real-i.html2925342016-01-18
real-m.htmlThe Theory %real%138860382016-01-18
real.htmlThe Theory %real%976242016-01-18
sets-i.html2699242016-01-18
sets-m.htmlThe Theory sets27836192016-01-18
sets.htmlThe Theory sets968162016-01-18
si-i.html2459242016-01-18
si-m.htmlThe Theory si10364252016-01-18
si.htmlThe Theory si954242016-01-18
strong_infinity-i.html2388162016-01-18
strong_infinity-m.htmlA strong axiom of infinity for HOL25922192016-01-18
strong_infinity.htmlA strong axiom of infinity for HOL1109212016-01-18
sum-i.html2691172016-01-18
sum-m.htmlThe Theory sum10859192016-01-18
sum.htmlThe Theory sum961172016-01-18
wf_rec-i.html2041172016-01-18
wf_rec-m.htmlThe Theory wf_rec10624202016-01-18
wf_rec.htmlThe Theory wf_rec982192016-01-18
wf_recp-i.html2500172016-01-18
wf_recp-m.htmlThe Theory wf_recp17577172016-01-18
wf_recp.htmlThe Theory wf_recp989172016-01-18
wf_rel-i.html2041222016-01-18
wf_rel-m.htmlThe Theory wf_rel9781192016-01-18
wf_rel.htmlThe Theory wf_rel982232016-01-18
wf_relp-i.html2275222016-01-18
wf_relp-m.htmlThe Theory wf_relp19365242016-01-18
wf_relp.htmlThe Theory wf_relp989182016-01-18
x001-i.html3285212016-01-18
x001-m.htmlA theory of fixed points64763222016-01-18
x001.htmlA theory of fixed points1064202016-01-18
x002-i.html2860242016-01-18
x002-m.htmlTransitive and Well-Founded Relations as Properties74690262016-01-18
x002.htmlTransitive and Well-Founded Relations as Properties1143192016-01-18
x003-i.html2524142016-01-18
x003-m.htmlAnalyticity and Deduction101182182016-01-18
x003.htmlAnalyticity and Deduction1077232016-01-18
x003t-i.html2036132016-01-18
x003t-m.htmlThe Theory x003t5627182016-01-18
x003t.htmlThe Theory x003t975242016-01-18
x003u-i.html2036152016-01-18
x003u-m.htmlThe Theory x003u5705252016-01-18
x003u.htmlThe Theory x003u975272016-01-18
x003v-i.html2036182016-01-18
x003v-m.htmlThe Theory x003v8317212016-01-18
x003v.htmlThe Theory x003v975232016-01-18
x004-i.html2649142016-01-18
x004-m.htmlWell-Foundedness and Recursion22958292016-01-18
x004.htmlWell-Foundedness and Recursion1112242016-01-18
x005-i.html2314132016-01-18
x005-m.htmlProofPower26715172016-01-18
x005.htmlProofPower995222016-01-18


up home rbj 00-00-00