T (abbreviation)
tail [in Coq.Lists.List]
tail [in Coq.Lists.List]
tail [in Coq.Lists.List]
tail [in Coq.Lists.List]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
tn1_trans [in Coq.Relations.Operators_Properties]
tn1_trans_equiv [in Coq.Relations.Operators_Properties]
trans_eq [in Coq.Init.Logic]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_JMeq [in Coq.Logic.JMeq]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_JMeq [in Coq.Logic.JMeq]
trans_id [in Coq.Init.Logic_Type]
trans_equal [in Coq.Init.Logic]
trans_id [in Coq.Init.Logic_Type]
trans_equal [in Coq.Init.Logic]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_equal [in Coq.Init.Logic]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_equal [in Coq.Init.Logic]
trans_eq [in Coq.Init.Logic]
trans_JMeq [in Coq.Logic.JMeq]
trans_eq [in Coq.Init.Logic]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_id [in Coq.Init.Logic_Type]
trans_JMeq [in Coq.Logic.JMeq]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_JMeq [in Coq.Logic.JMeq]
trans_JMeq [in Coq.Logic.JMeq]
trans_id [in Coq.Init.Logic_Type]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_equal [in Coq.Init.Logic]
trans_equal [in Coq.Init.Logic]
trans_equal [in Coq.Init.Logic]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_eq [in Coq.Init.Logic]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_eq [in Coq.Init.Logic]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_JMeq [in Coq.Logic.JMeq]
trans_eq [in Coq.Init.Logic]
trans_id [in Coq.Init.Logic_Type]
trans_JMeq [in Coq.Logic.JMeq]
trans_eq [in Coq.Init.Logic]
trans_JMeq [in Coq.Logic.JMeq]
trans_id [in Coq.Init.Logic_Type]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_equal [in Coq.Init.Logic]
trans_id [in Coq.Init.Logic_Type]
trans_equal [in Coq.Init.Logic]
trans_equal [in Coq.Init.Logic]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_equal [in Coq.Init.Logic]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_tn1 [in Coq.Relations.Operators_Properties]
trans_rtn1 [in Coq.Relations.Operators_Properties]
trans_clos [in Coq.Wellfounded.Transitive_Closure]
trans_rt1n [in Coq.Relations.Operators_Properties]
trans_t1n [in Coq.Relations.Operators_Properties]
trans_eq [in Coq.Init.Logic]
trans_id [in Coq.Init.Logic_Type]
trans_JMeq [in Coq.Logic.JMeq]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
true_xorb [in Coq.Bool.Bool]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]
t1n_trans_equiv [in Coq.Relations.Operators_Properties]