Add lemSimpl
authorAnders <mortberg@chalmers.se>
Mon, 8 Jun 2015 12:26:44 +0000 (14:26 +0200)
committerAnders <mortberg@chalmers.se>
Mon, 8 Jun 2015 12:26:44 +0000 (14:26 +0200)
commite3d7ac5bbd76cf90d4dde53bc02c41a43cf54732
tree37c8e4bf48edf622149ef8cd344f062e60fc446a
parent69cf6d0be617caaa2e29f56d4d5b31be5e912028
Add lemSimpl
examples/prelude.ctt