__group__ ticket summary component version type owner status created _changetime _description _reporter 1 Lifting doesn't introduce capabilities. SystemF2Effect lemma benl new 2013-01-28T10:20:49Z 2013-01-28T10:27:59Z "In !WeakKiEnv / Case !XUse {{{ ~ mentionsCapT (TyCapRegion n) t1 ------------------------------------------ ~ mentionsCapT (TyCapRegion n) (liftTT 1 ix t1) }}}" benl