diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-05 15:20:35 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-05 19:52:23 +0200 |
commit | 1fe47f95097b0245081a4feb4a5d44f761301dca (patch) | |
tree | 86c22453d1f8303f213d3c5c575d56949f934df2 /theories/Lists | |
parent | ac9f225940357ffd9841f1df277c4f78964df313 (diff) |
Preliminary re-installation of notation interpretation in beautifying mode.
Diffstat (limited to 'theories/Lists')
0 files changed, 0 insertions, 0 deletions