aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder/sequent.ml
diff options
context:
space:
mode:
authorGravatar jforest <jforest@daneel.lan.home>2015-04-13 22:16:30 +0200
committerGravatar jforest <jforest@daneel.lan.home>2015-04-13 22:16:30 +0200
commit7f49f829260078f76c5b219472afb4fa1abce5f9 (patch)
tree91ee12aff24d0546ff01186dbac273ae83341932 /plugins/firstorder/sequent.ml
parenta3d686a3bd1ac4256279a77c291949a3b15abc18 (diff)
correction of a bug reported by Tristan Crolard
Diffstat (limited to 'plugins/firstorder/sequent.ml')
0 files changed, 0 insertions, 0 deletions