]>
2018-06-04 | Ferruccio Guidi | update in ground_2 and basic_2 | blob | commitdiff | raw |
2018-05-09 | Ferruccio Guidi | update in groud_2 and models | blob | commitdiff | raw | diff to current |
2018-04-20 | Ferruccio Guidi | notational update in ground_2 and basic_2 | blob | commitdiff | raw | diff to current |
2016-07-26 | Ferruccio Guidi | bug fix in the context reduction rule for cast (cpm) | blob | commitdiff | raw | diff to current |
2016-07-25 | Ferruccio Guidi | we count rt parallel steps in a different way: | blob | commitdiff | raw | diff to current |
2016-07-04 | Ferruccio Guidi | basic properties of cpr ... | blob | commitdiff | raw | diff to current |