diff options
| author | Thomas Bauereiss | 2018-03-05 15:12:35 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-14 12:05:46 +0000 |
| commit | 5494cba73d75349785452ec882b65cae11e78d8a (patch) | |
| tree | bd432dbb8c80994d78912372d14cd1b821339263 /src/process_file.ml | |
| parent | d8034f04d6f120fe5e4394fa6d3dfdcf27877a5f (diff) | |
Use sets instead of lists for Lem nondeterminism monad
This simplifies reasoning in Isabelle.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions