diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-07 22:27:13 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-12-11 13:34:45 +0100 |
| commit | 84a655b14bfc886447da9abc5cf141ab87ae4bd7 (patch) | |
| tree | 02dd3c19830f4be763925b7131fe5277dec00ec7 /lib/flags.ml | |
| parent | a77f3a3e076e273af35ad520cae2eef0e3552811 (diff) | |
Remove deprecated option Dependent Propositions Eliminiation.
And a bit of code simplification.
Diffstat (limited to 'lib/flags.ml')
0 files changed, 0 insertions, 0 deletions