bmastenbrook df1af5ff99 Fix some missing words		2015-03-23 18:47:51 -05:00
..
index.rst	Add section on theorem proving to tutorial	2015-03-23 23:00:58 +00:00
inductive.rst	More typos in theorem proving tutorial	2015-03-23 23:21:50 +00:00
patterns.rst	Fix some missing words	2015-03-23 18:47:51 -05:00
pluscomm.rst	Fix some minor typos	2015-03-23 18:39:25 -05:00