parser/parser.ml · b871aa781a476931b270239d50d3c74190630dc5 · cduce / cduce · GitLab

Find file Blame History Permalink

[r2005-03-14 20:05:53 by beppe] Added back boolean connective "or" as equivalente to "||" Not · b871aa78
Pietro Abate authored Jul 10, 2007
```
restricted to select only.

Original author: beppe
Date: 2005-03-14 20:05:53+00:00
```
b871aa78