windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
70 stars 14 forks source link

cond⇒ declaration button should not overwrite selection #9

Open clange opened 12 years ago

clange commented 12 years ago

I had an expression E selected and pressed the "cond⇒" button from "structure→declarations".

windsteiger commented 12 years ago

There is more to that