aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/make-tree/valid/assumption-filled
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2014-11-28 10:02:39 +0100
committerMattias Andrée <maandree@operamail.com>2014-11-28 10:02:39 +0100
commit89820d0a00bdc0f77fcc8f6c67d590017f253ae3 (patch)
tree8c018483c063b661d698e0cc4b92c680b9bfbc14 /test-files/mds-kbdc/make-tree/valid/assumption-filled
parentmds-kbdc: simplification of alternations (diff)
downloadmds-89820d0a00bdc0f77fcc8f6c67d590017f253ae3.tar.gz
mds-89820d0a00bdc0f77fcc8f6c67d590017f253ae3.tar.bz2
mds-89820d0a00bdc0f77fcc8f6c67d590017f253ae3.tar.xz
m
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions