| Mon, 08 Mar 2010 15:06:14 +0100 | Christian Urban | deleted comments about "weird" | file | diff | annotate |
| Mon, 08 Mar 2010 11:25:57 +0100 | Cezary Kaliszyk | With restricted_nominal=1, exp7 and exp8 work. Not sure about proving bn_rsp there. | file | diff | annotate |