PageName	Summary + Labels	Changed	ChangedBy	...
	FlyspeckTextProject	Text Formalization Projects needed for completion of Flyspeck	4 hours ago	TCHales
	NonlinearInequalities	This page gives a summary of the use of non-linear inequalities in the proof.	5 days ago	TCHales
	HolLightWishList	Features hoped for in a future release of Hol Light	Sep 11	TCHales
	TipsOnHol	Various Tips about Tactics and Using HOL	Jul 24	TCHales
	InstallHolLight	Instructions on getting HOL-Light installed and running, especially for Windows. SVN instructions.   Featured	Jun 18	TCHales
	UploadChecklist	Checklist for project members before uploading files	Sep 2008	TCHales
	FormalText	This note gives an outline of how the formal proof of the written text may proceed.	Sep 2008	TCHales
	HolLightDemo1	A tutorial of HOL-Light based on John Harrison's proof of an IMO problem   Featured	Sep 2008	TCHales
	TrigChapterSpec	The formal specification of the chapter on trigonometry   Featured	Sep 2008	TCHales
	FlyspeckFactSheet	Introduction to the Flyspeck Project (formal proof of the Kepler Conjecture). This is a good place to start.   Featured	Sep 2008	TCHales
	TipsAndTricks	This wiki is a list of advice for new users and also tricks for anyone. Feel free to add to it.	Aug 2008	TCHales