helm/gTopLevel/esempi/calcolo_proposizioni.cic

   1 alias True     /Coq/Init/Logic/True.ind#1/1
   2 alias I        /Coq/Init/Logic/True.ind#1/1/1
   3 alias True_ind /Coq/Init/Logic/True_ind.con
   4
   5 alias False     /Coq/Init/Logic/False.ind#1/1
   6 alias False_ind /Coq/Init/Logic/False_ind.con
   7
   8 alias and     /Coq/Init/Logic/and.ind#1/1
   9 alias conj    /Coq/Init/Logic/and.ind#1/1/1
  10 alias and_ind /Coq/Init/Logic/and_ind.con
  11
  12 alias or        /Coq/Init/Logic/or.ind#1/1
  13 alias or_introl /Coq/Init/Logic/or.ind#1/1/1
  14 alias or_intror /Coq/Init/Logic/or.ind#1/1/2
  15 alias or_ind    /Coq/Init/Logic/or_ind.con
  16
  17 alias not          /Coq/Init/Logic/not.con