[isabelle] term abbreviations?



In constructing some proof that have complexe goals formaed by unfolding locale definitions
I have been  cut and pasting  the goal  in to a show statment

show "......complex gaol ...." (is  patten)

After which I only refer to the patten.
Is there a term abbreviation for current gaol or other method to avoid the cut and pasting?
david





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