Modify

Opened 3 years ago

#14 new enhancement

Composite actions

Reported by: tilk Owned by:
Priority: major Component: Proof Engine
Version: Keywords:
Cc:

Description

So that there is no need to apply "take any" repeatedly on many consequent universal quantifiers, etc.

Attachments (0)

Change History (0)

Add Comment

Modify Ticket

Action
as new The ticket will remain with no owner.
Author


E-mail address and user name can be saved in the Preferences.

 
Note: See TracTickets for help on using tickets.