/Test/wishlist/
../
calc.dfy
calc.dfy.expect
exists-b-exists-not-b.dfy
exists-b-exists-not-b.dfy.expect
granted
naked-function-in-recursive-setting.dfy
naked-function-in-recursive-setting.dfy.expect
sequences-literals.dfy
sequences-literals.dfy.expect
sequences-s0-in-s.dfy
sequences-s0-in-s.dfy.expect
strings.dfy
strings.dfy.expect
tooltips-on-inductive-lemmas.dfy
tooltips-on-inductive-lemmas.dfy.expect
we-should-always-print-tooltips.dfy
we-should-always-print-tooltips.dfy.expect