-
Committer:
Jiri Srba
-
Date:
2018-05-11 15:45:45 UTC
-
mfrom:
(957.2.4 tapaal)
-
Revision ID:
srba@cs.aau.dk-20180511154545-n91ccdv1aqf4n4w5
merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066
adding the statistics of reduction rules A-I