Graham Nelson 108173535b Tested binding and substitution		2020-08-23 16:54:14 +01:00
..
1-im.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
1-ism.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
2-bd.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
2-ifi.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
2-ri.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-bck.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
3-dvc.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-em.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-hm.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-mcr.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
3-prs.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-rgn.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
3-sc.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-scn.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-sg.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-sm.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
3-sm2.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-sr.html	Further progress towards calculus module	2020-08-21 22:38:20 +01:00
3-tm.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
3-tm2.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-tnt.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-tp.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
3-ts.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
4-act.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
4-ai.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
4-anl.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
4-ap.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
4-los.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
4-nap.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
5-gl.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
5-gp.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
5-gpr.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
5-gt.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
5-gt2.html	Improved testing of terms and atoms	2020-08-23 12:00:56 +01:00
5-gv.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
5-itg.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
5-nft.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
5-tfg.html	Tested binding and substitution	2020-08-23 16:54:14 +01:00
5-tpv.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
index.html	Introduced binary predicate families	2020-08-20 11:50:43 +01:00