Revision - 1c82d4b - add new formula constructor: WP[M.f(...) : Phi

Revision 1c82d4b0a7888a79750d1cc6f72ee75b72c40090 authored by Pierre-Yves Strub on 26 March 2019, 14:55:21 UTC, committed by Pierre-Yves Strub on 26 March 2019, 14:55:21 UTC

add new formula constructor: WP[M.f(...) : Phi

1 parent 41219ef

Files
Changes

Permalinks

File	Mode	Size
tests.config	-rw-r--r--	343 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...