[isabelle] Ambiguous input



Hi 

Attachment: Test.thy
Description: Binary data

in Test.thy file i have made an abbreviation subset_b
but in output it gave me in output an Ambiguous input but i don’t know why ? and where is the problem ?


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