Some lemmas about equivs
authorAnders <mortberg@chalmers.se>
Mon, 29 Jun 2015 11:31:21 +0000 (13:31 +0200)
committerAnders <mortberg@chalmers.se>
Mon, 29 Jun 2015 11:31:21 +0000 (13:31 +0200)
commit433d6c56ea220ace37bcdcc3dd099b551cbfbb8a
treedb350dfc05b0ab75c81b3b295cb57c0bfa88bebd
parent38757ce29d3086477705b8987f46374666916318
Some lemmas about equivs
examples/equiv.ctt