Removed the cond-12, cond-13 tests due to convincing argument about how the...
Removed the cond-12, cond-13 tests due to convincing argument about how the hyperspec should be interpreted. Fixed typos in cond-23 tests.
Please register or sign in to comment