Add equiv and uafunext2
authorAnders <mortberg@chalmers.se>
Mon, 13 Apr 2015 13:54:12 +0000 (15:54 +0200)
committerAnders <mortberg@chalmers.se>
Mon, 13 Apr 2015 13:54:12 +0000 (15:54 +0200)
commit74d44ebe01c0e860e98d6581bd9479d6b276ae60
treec945f6072a39d73395230db787268458a7b2682c
parent612698ed862a19581a522330e95d28f58f6d9c89
Add equiv and uafunext2
examples/equiv.ctt [new file with mode: 0644]
examples/uafunext2.ctt [new file with mode: 0644]