[isabelle] thin_tac



Hi everyone,

is there a deeper reason why thin_tac allows schematics in the pattern,
but no underscores?




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