Skip to content
Snippets Groups Projects
Ralf Jung's avatar
Ralf Jung authored
In particular, make sure we always try eassumption before reflexivity.
4952cca2
History
Name Last commit Last update