2016-09-15 10:34:00 UTC
As far as I can tell, I seem to have run into an issue with the datatype
package. After slightly increasing the complexity of an existing
datatype I get a 'Proof failed' error message.
The problematic datatype is
datatype ('s, 'p) test' =
Test' "(('s, 'p) test' Ã 's set Ã 's set) list"