-
Ike Mulder authored
Removed normalization in definitions, hyp_first instance on disjunctions is working. Need to fix inc_dec, fork_join, benchmark.
8b0b8274
Removed normalization in definitions, hyp_first instance on disjunctions is working. Need to fix inc_dec, fork_join, benchmark.