Danila Fedorin 30c395151d Use a different representation of values and prove equivalence of UCC evalutor		2021-11-28 01:08:56 -08:00
..
Dawn.v	Fix Ltac2 bug in Dawn file	2021-11-27 23:13:08 -08:00
DawnEval.v	Use a different representation of values and prove equivalence of UCC evalutor	2021-11-28 01:08:56 -08:00
DawnV2.v	Use a different representation of values and prove equivalence of UCC evalutor	2021-11-28 01:08:56 -08:00
Ucc.hs	Use a different representation of values and prove equivalence of UCC evalutor	2021-11-28 01:08:56 -08:00