diff options
author | kyessenov <unknown> | 2010-08-12 23:24:31 +0000 |
---|---|---|
committer | kyessenov <unknown> | 2010-08-12 23:24:31 +0000 |
commit | eb284abb4172c6162ac31b865dc2a7e9661fe413 (patch) | |
tree | bd229d9820ea196a42609c2b8bb62933e64a1e5a /Source/VCExpr/TypeErasurePremisses.ssc | |
parent | 6c2af5a0dba92c6a1760c7e4579390487b9ff35c (diff) |
Chalice: accept many input files at once; read from stdin if no input file specified
Diffstat (limited to 'Source/VCExpr/TypeErasurePremisses.ssc')
0 files changed, 0 insertions, 0 deletions