diff options
author | 2017-08-12 13:42:01 +0200 | |
---|---|---|
committer | 2018-02-20 10:03:03 +0100 | |
commit | 65505b835d6a77b8702d11d09e8cf6b84c529c65 (patch) | |
tree | 68a124a0211c520f4e87bb0fc6bf2166b125676b /library | |
parent | 09122b77b4f556281fec338cbb2ec43c5520dc8d (diff) |
Adding support for re-folding notation referring to isolated "forall '(x,y), t".
Was apparently forgotten in a67bd7f9.
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions