Leonardo de Moura fb56767e07 doc(examples/standard): add theorems and exercises from Bob Constable ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2014-07-28 01:13:21 -07:00
..
constable.lean	doc(examples/standard): add theorems and exercises from Bob Constable	2014-07-28 01:13:21 -07:00