1 (**************************************************************************)
4 (* ||A|| A project by Andrea Asperti *)
6 (* ||I|| Developers: *)
7 (* ||T|| The HELM team. *)
8 (* ||A|| http://helm.cs.unibo.it *)
10 (* \ / This file is distributed under the terms of the *)
11 (* v GNU General Public License Version 2 *)
13 (**************************************************************************)
15 default "true" cic:/matita/logic/connectives/True.ind.
17 default "false" cic:/matita/logic/connectives/False.ind.
19 default "absurd" cic:/matita/logic/connectives/absurd.con.
22 cic:/matita/logic/equality/eq.ind
23 cic:/matita/logic/equality/sym_eq.con
24 cic:/matita/logic/equality/transitive_eq.con
25 cic:/matita/logic/equality/eq_ind.con
26 cic:/matita/logic/equality/eq_elim_r.con
27 cic:/matita/logic/equality/eq_rec.con
28 cic:/matita/logic/equality/eq_elim_r'.con
29 cic:/matita/logic/equality/eq_rect.con
30 cic:/matita/logic/equality/eq_elim_r''.con
31 cic:/matita/logic/equality/eq_f.con
32 cic:/matita/logic/equality/eq_OF_eq.con.