Jan Friso Groote

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

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

#### 2014-09-04 14:14:21: @wiegerw

#### 2014-09-04 14:14:21: @wiegerw commented ___ Implementation suggestion (previously #878): Currently, data types can only be generated using single parameterised sort (e.g. List(S)). This should be generalised to support lists...

#### 2016-11-24 19:23:44: @wiegerw changed status from *new* to *assigned*

#### 2016-11-24 19:23:44: @wiegerw changed owner from *jkeiren* to *jfg*

#### 2016-12-04 21:30:22: anonymous

#### 2016-11-17 14:05:27: @wiegerw changed type from *defect* to *feature request*

#### 2016-11-24 19:24:31: @wiegerw changed status from *new* to *accepted*

#### 2016-11-24 19:24:31: @wiegerw