-
Andrei Paskevich authored
The (pattern -> fmla) format is used in Dexpr for postconditions. Also, restructure the mutually recursive calls, with a massive change of indentation (use "git show -w" to view this commit).
33f4683c
The (pattern -> fmla) format is used in Dexpr for postconditions. Also, restructure the mutually recursive calls, with a massive change of indentation (use "git show -w" to view this commit).