diff options
| author |  jforest <jforest@daneel.lan.home> | 2015-04-13 22:16:30 +0200 |
|---|---|---|
| committer | jforest <jforest@daneel.lan.home> | 2015-04-13 22:16:30 +0200 |
| commit | 7f49f829260078f76c5b219472afb4fa1abce5f9 (patch) | |
| tree | 91ee12aff24d0546ff01186dbac273ae83341932 /plugins/firstorder/sequent.ml | |
| parent | a3d686a3bd1ac4256279a77c291949a3b15abc18 (diff) | |
correction of a bug reported by Tristan Crolard
Diffstat (limited to 'plugins/firstorder/sequent.ml')
0 files changed, 0 insertions, 0 deletions