Revision as of 15:36, 18 August 2007 edit SatyrBot (talk \| contribs) Bots 121,099 edits m SatyrBot removing WP:Logic banner per project decision. ← Previous edit	Revision as of 09:04, 11 October 2007 edit undo Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,978 edits m moved Talk:LCF theorem prover to Talk:LCF (theorem prover): Naming conventions. Next edit →
(No difference)

Talk:Logic for Computable Functions: Difference between revisions