Leonardo de Moura ae523e33b4 Add parse_theorem and parse_definition ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2013-08-18 12:48:42 -07:00
..
ex1.lean	Add small example	2013-08-18 11:02:29 -07:00
ex2.lean	Add parse_lambda and parse_pi	2013-08-18 12:34:00 -07:00
ex3.lean	Add parse_theorem and parse_definition	2013-08-18 12:48:42 -07:00