diff options
| author | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-05 16:35:37 -0400 |
|---|---|---|
| committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-06 14:51:32 -0400 |
| commit | 482167cc10c5df25e107e0b44a24c125f7b18bd2 (patch) | |
| tree | b3a132657bbe28c4af493c0152e634ffedf28c3f /INSTALL | |
| parent | 6edae99ca2d1af88ebe82256132d0d058913a13c (diff) | |
IDL example theory (to be used with --use-theory=idl).
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions