diff options
| author | Pierre-Marie Pédrot | 2014-09-12 19:47:12 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-09-13 17:36:29 +0200 |
| commit | dec08b31fa600eb1cea34915ba6f205f3a6a29e4 (patch) | |
| tree | 73e3551d322172bd78ee89a320a13fc61d658f2c /interp/implicit_quantifiers.ml | |
| parent | 6f58cf4fedd3cd01bea079573a9d8818a9a7c19b (diff) | |
Retroknowledge arguments are made VERNAC ARGUMENTS.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions