Snippets Groups Projects

T

tvm

make done and fast_done more consistent in behavior

Ralf Jung authored 8 years ago

In particular, make sure we always try eassumption before reflexivity.

4952cca2

4952cca2 8 years ago

Name	Last commit	Last update