]> matita.cs.unibo.it Git - helm.git/blob - helm/gTopLevel/esempi/calcolo_proposizioni.cic
ported to new getter interface
[helm.git] / 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