session induction = NTP4Verif +
theories
  "induction_Induction1_base"
  "induction_Hyps"
  "induction_Induction1_induction_step"
  "induction_Induction1_G"
  "induction_Induction2_G"
  "induction_LemmaFunction1_ind_lemmaqtvc"
  "induction_LemmaFunction1_G"
  "induction_LemmaFunction2_ind_lemmaqtvc"
  "induction_LemmaFunction2_G"
  "induction_LemmaFunction3_ind_lemmaqtvc"
  "induction_LemmaFunction3_G"
