Jan Friso Groote

I am afraid a part of your data type is missing. I expect an equation using the eqn keyword.

This is indeed correct. Rewriting works with matching of patterns. If there is no match, -- as in your case -- rewriting does not take place. If you are not...

I do like this. For your rule, there could be a matching term namely test(l

#### 2018-02-26 09:57:31: @wiegerw commented ___ Jeroen Meijer noted that the libmcrl2_core.a misses a dependency on libdparser.a. The LTSmin tool can only be linked statically with mCRL2 using: ``` ar...

#### 2018-02-28 13:29:54: anonymous commented ___ The remark of Jeroen Meijer has been resolved in [r15204](../commit/4a36b99ea).

#### 2012-08-24 07:05:07:

#### 2012-08-24 07:05:07: commented ___ Milestone To be decided deleted

#### 2016-11-24 19:30:27: @wiegerw

#### 2016-12-04 22:41:57: anonymous changed status from *new* to *assigned*

#### 2016-12-04 22:41:57: anonymous changed owner from *jkeiren* to *jfg*