模型 Isabelle 管子 (0)