[isabelle] Ambiguous input


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.