Module MemTyped.L

module L: Qed.Logic