Quantomatic/quantomatic — Issue #1: Rule creation from the gui does not work in substr_linrat theory
Author: benjaminfrot
Created: 2012-01-22 20:20:48+00:00
State: open

Steps:
- In the gui, load the substr_linrat theory
- Create a rule
- Activate it