This directory contains the following subdirectories:

and the following files:

name	title	size	hits	mdate
WfRec-i.html		2562	10	2016-01-18
WfRec-m.html	Well-Founded Recursion	48905	12	2016-01-18
WfRec.html	Well-Founded Recursion	1096	18	2016-01-18
WfRecp-i.html		2594	11	2016-01-18
WfRecp-m.html	Recursion Theorem for Well-Founded Relations as Properties	52336	16	2016-01-18
WfRecp.html	Recursion Theorem for Well-Founded Relations as Properties	1165	17	2016-01-18
WfRel-i.html		2590	9	2016-01-18
WfRel-m.html	Transitive and Well-Founded Relations	63785	14	2016-01-18
WfRel.html	Transitive and Well-Founded Relations	1131	18	2016-01-18
analysis-i.html		2735	25	2016-01-18
analysis-m.html	The Theory analysis	412031	28	2016-01-18
analysis.html	The Theory analysis	996	20	2016-01-18
basic_hol-i.html		1811	18	2016-01-18
basic_hol-m.html	The Theory basic_hol	3051	21	2016-01-18
basic_hol.html	The Theory basic_hol	1003	14	2016-01-18
bin_rel-i.html		2976	24	2016-01-18
bin_rel-m.html	The Theory bin_rel	38152	23	2016-01-18
bin_rel.html	The Theory bin_rel	989	15	2016-01-18
char-i.html		2497	22	2016-01-18
char-m.html	The Theory char	6005	22	2016-01-18
char.html	The Theory char	968	18	2016-01-18
dyadic-i.html		2741	15	2016-01-18
dyadic-m.html	The Theory dyadic	17483	20	2016-01-18
dyadic.html	The Theory dyadic	982	19	2016-01-18
fixp-i.html		2031	21	2016-01-18
fixp-m.html	The Theory fixp	16505	22	2016-01-18
fixp.html	The Theory fixp	968	20	2016-01-18
hol-i.html		1568	21	2016-01-18
hol-m.html	The Theory hol	2314	24	2016-01-18
hol.html	The Theory hol	961	18	2016-01-18
index-i.html		3067	30	2016-01-18
index-m.html	ProofPower and its use at RBJones.com	37237	38	2016-01-18
index.html	ProofPower and its use at RBJones.com	1168	32	2016-01-18
init-i.html		1793	18	2016-01-18
init-m.html	The Theory init	4110	22	2016-01-18
init.html	The Theory init	968	13	2016-01-18
int-i.html		2916	21	2016-01-18
int-m.html	The Theory %int%	61719	22	2016-01-18
int.html	The Theory %int%	969	13	2016-01-18
list-i.html		2923	20	2016-01-18
list-m.html	The Theory list	18967	23	2016-01-18
list.html	The Theory list	968	20	2016-01-18
log-i.html		2478	16	2016-01-18
log-m.html	The Theory log	10767	18	2016-01-18
log.html	The Theory log	961	16	2016-01-18
min-i.html		2243	22	2016-01-18
min-m.html	The Theory min	5170	20	2016-01-18
min.html	The Theory min	961	17	2016-01-18
misc-i.html		2935	15	2016-01-18
misc-m.html	The Theory misc	22581	19	2016-01-18
misc.html	The Theory misc	968	17	2016-01-18
nat-i.html		2693	19	2016-01-18
nat-m.html	The Theory %nat%	34355	24	2016-01-18
nat.html	The Theory %nat%	969	16	2016-01-18
one-i.html		2470	24	2016-01-18
one-m.html	The Theory one	5433	20	2016-01-18
one.html	The Theory one	961	18	2016-01-18
orders-i.html		2493	21	2016-01-18
orders-m.html	The Theory orders	38317	23	2016-01-18
orders.html	The Theory orders	982	18	2016-01-18
pair-i.html		2931	27	2016-01-18
pair-m.html	The Theory pair	13179	25	2016-01-18
pair.html	The Theory pair	968	15	2016-01-18
pc-i.html		2679	18	2016-01-18
pc-m.html	The Theory pc	20066	23	2016-01-18
pc.html	The Theory pc	954	11	2016-01-18
pp-smlxtras-i.html		1856	26	2016-01-18
pp-smlxtras-m.html	Extra sml procedures for ProofPower	19500	27	2016-01-18
pp-smlxtras.html	Extra sml procedures for ProofPower	1147	28	2016-01-18
ppchartable.html	ProofPower Special Character Table	49478	33	2016-01-18
pptheories.html	Listings of some theories built into ProofPower	14195	25	2016-01-18
pure_categories-i.html		2635	11	2016-01-18
pure_categories-m.html	A Theory of Pure Categories	48941	18	2016-01-18
pure_categories.html	A Theory of Pure Categories	1146	13	2016-01-18
rda001.html	42 famous theorems in ProofPower	105671	53	2016-01-18
real-i.html		2925	34	2016-01-18
real-m.html	The Theory %real%	138860	38	2016-01-18
real.html	The Theory %real%	976	24	2016-01-18
sets-i.html		2699	24	2016-01-18
sets-m.html	The Theory sets	27836	19	2016-01-18
sets.html	The Theory sets	968	16	2016-01-18
si-i.html		2459	24	2016-01-18
si-m.html	The Theory si	10364	25	2016-01-18
si.html	The Theory si	954	24	2016-01-18
strong_infinity-i.html		2388	16	2016-01-18
strong_infinity-m.html	A strong axiom of infinity for HOL	25922	19	2016-01-18
strong_infinity.html	A strong axiom of infinity for HOL	1109	21	2016-01-18
sum-i.html		2691	17	2016-01-18
sum-m.html	The Theory sum	10859	19	2016-01-18
sum.html	The Theory sum	961	17	2016-01-18
wf_rec-i.html		2041	17	2016-01-18
wf_rec-m.html	The Theory wf_rec	10624	20	2016-01-18
wf_rec.html	The Theory wf_rec	982	19	2016-01-18
wf_recp-i.html		2500	17	2016-01-18
wf_recp-m.html	The Theory wf_recp	17577	17	2016-01-18
wf_recp.html	The Theory wf_recp	989	17	2016-01-18
wf_rel-i.html		2041	22	2016-01-18
wf_rel-m.html	The Theory wf_rel	9781	19	2016-01-18
wf_rel.html	The Theory wf_rel	982	23	2016-01-18
wf_relp-i.html		2275	22	2016-01-18
wf_relp-m.html	The Theory wf_relp	19365	24	2016-01-18
wf_relp.html	The Theory wf_relp	989	18	2016-01-18
x001-i.html		3285	21	2016-01-18
x001-m.html	A theory of fixed points	64763	22	2016-01-18
x001.html	A theory of fixed points	1064	20	2016-01-18
x002-i.html		2860	24	2016-01-18
x002-m.html	Transitive and Well-Founded Relations as Properties	74690	26	2016-01-18
x002.html	Transitive and Well-Founded Relations as Properties	1143	19	2016-01-18
x003-i.html		2524	14	2016-01-18
x003-m.html	Analyticity and Deduction	101182	18	2016-01-18
x003.html	Analyticity and Deduction	1077	23	2016-01-18
x003t-i.html		2036	13	2016-01-18
x003t-m.html	The Theory x003t	5627	18	2016-01-18
x003t.html	The Theory x003t	975	24	2016-01-18
x003u-i.html		2036	15	2016-01-18
x003u-m.html	The Theory x003u	5705	25	2016-01-18
x003u.html	The Theory x003u	975	27	2016-01-18
x003v-i.html		2036	18	2016-01-18
x003v-m.html	The Theory x003v	8317	21	2016-01-18
x003v.html	The Theory x003v	975	23	2016-01-18
x004-i.html		2649	14	2016-01-18
x004-m.html	Well-Foundedness and Recursion	22958	29	2016-01-18
x004.html	Well-Foundedness and Recursion	1112	24	2016-01-18
x005-i.html		2314	13	2016-01-18
x005-m.html	ProofPower	26715	17	2016-01-18
x005.html	ProofPower	995	22	2016-01-18

---

00-00-00