[isabelle] exception Option



Hi,

Does anyone know what I should do when encountering the following error:
 exception Option raised (line 81 of "General/basics.ML")

I was using proof (auto dest: ext[OF _ _]) in case it might help.


Henri.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.