IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
enum1 cases i:enum1(). i = enum1_el1 i = enum1_el2 i = enum1_el3
By:
EnumCasesTac
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
i:enum1(). i = enum1_el1 
i = enum1_el2 
