diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 22:13:04 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 22:13:04 +0200 |
commit | 89b38ee15e02349c8d4b05df3170e3c97d8d1bf9 (patch) | |
tree | cb92f4b06d109fb2ed0007a4369e2dd203786bd4 /theories/Numbers | |
parent | 8aad36675447f3c95dc2f10e26c4cce48595497b (diff) |
Revert "Fixing printers for pr_auto_using and pr_firstorder_using."
This reverts commit 23ebfc41fba48ccce9bc878de258d1b0901f7dda.
Diffstat (limited to 'theories/Numbers')
0 files changed, 0 insertions, 0 deletions