diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-06-04 17:27:00 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-06-04 17:27:00 +0200 |
| commit | 7accc9b6e22a0f511cb36f6ab8563b811e0e0167 (patch) | |
| tree | a5d6fff43be7d7f923d9f22a721f0336c4464704 /theories/Relations | |
| parent | dbada2989e334756971c7bf69578c93b2e45643e (diff) | |
Remove spurious Show in script.
Diffstat (limited to 'theories/Relations')
0 files changed, 0 insertions, 0 deletions