diff options
author | 2017-06-04 08:06:10 +0200 | |
---|---|---|
committer | 2017-06-04 08:06:10 +0200 | |
commit | b91f5d1adbd039809e31b5311d06b376829de1fc (patch) | |
tree | c544fdd0ecb68f048077441d0faa47e36af4a4a3 /tactics | |
parent | a2a98a4015311af83edcf8fc87aa30a5318bead8 (diff) | |
parent | c643a4c20b033c27b153d186128093791b687b77 (diff) |
Merge PR#526: solving implicit resolution in Function
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions