summaryrefslogtreecommitdiff
path: root/prolog/facts/denotational_semantics_aux__predicates.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-04-03 18:32:04 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-04-03 18:32:04 +0200
commitf25e7eac2db09f48e2e96b1c2e0da71ffe0fca3c (patch)
tree38aaa31b31465e2eec7fd62b00458be8138e997b /prolog/facts/denotational_semantics_aux__predicates.py
parent297645d77929880d79cb251f9535f37ae0a34d50 (diff)
Prolog: add bugs file for the is_subset problem
Diffstat (limited to 'prolog/facts/denotational_semantics_aux__predicates.py')
0 files changed, 0 insertions, 0 deletions