Mon, 09 Mar 2015 21:30:42 +0100 | wenzelm | merged | changeset | files |
Mon, 09 Mar 2015 20:33:33 +0100 | wenzelm | support structural composition (THEN_ALL_NEW) for proof methods; | changeset | files |
Mon, 09 Mar 2015 16:42:18 +0000 | paulson | Removed the infix operator "choose" to allow HOLCF to build | changeset | files |