-
pfdietz authored
Removed the cond-12, cond-13 tests due to convincing argument about how the hyperspec should be interpreted. Fixed typos in cond-23 tests.
b781f532
Removed the cond-12, cond-13 tests due to convincing argument about how the hyperspec should be interpreted. Fixed typos in cond-23 tests.