Version 0.12.0 

renamed OrderedGroup_ZF_1_L4F to group_order_antisym
added a statement to OrderedGroup_ZF_1_L8A
added OrderedGroup_ZF_1_L17
added OrderedGroup_ZF_2_L3
added OrderedGroup_ZF_2_L4
added ringsq
added Ring_ZF_1_L13
added Ring_ZF_1_L14 
added OrdRing_ZF_1_L10
added OrderedGroup_ZF_1_L8B
added a statement to OrderedGroup_ZF_1_L5AB
added OrdRing_ZF_3_L12

Version 0.13.0

renamed OrdRing_ZF_3_L12 to OrdRing_ZF_1_L12
added setninv_def
added OrderedGroup_ZF_2_L5
modified posslopes_def
added Int_ZF_2_3_L2
renamed Int_ZF_2_1_L12 to Int_ZF_2_1_L13
added a statement to Group_ZF_3_2_L13
added a statement to func1_1_L16A
added Int_ZF_2_3_L3
added OrderedGroup_ZF_1_L18
renamed Int_ZF_2_L19B to Int_ZF_2_L19C
added Int_ZF_2_L19B
renamed group0_4_L5A group0_2_L18
added a statement to group0_2_L18
added group0_4_L9
added Int_ZF_1_2_L15
renamed Int_ZF_2_L8 to int_ord_transl_inv
added int_triangle_ineq3
renamed Ring_ZF_1_L5 to ring_oper_distr
added a statement to Ring_ZF_1_L3
added OrdRing_ZF_2_L6
added Int_ZF_1_3_L21
added Int_ZF_2_1_L14
added Int_ZF_1_5_L4
added OrderedGroup_ZF_1_L5G
added a statement to OrderedGroup_ZF_1_L5F
added Int_ZF_2_L15F
renamed Ordring_oper_distr OrdRing_ZF_1_L5
added OrdRing_ZF_1_L5A
added Int_ZF_2_3_L4
added Int_ZF_1_5_L5
added Int_ZF_1_3_L20A
added func1_1_L16AB
added OrderedGroup_ZF_3_L9B
added Int_ZF_1_3_L20B
added Int_ZF_1_3_L20C
added IntDiv_ZF_1_L3
added IntDiv_ZF_1_L4
added IntDiv_ZF_1_L5
added maxf_def
added Int_ZF_4_L7
added Order_ZF_2_L2A
added Order_ZF_2_L6
added OrderedGroup_ZF_2_L6
added Int_ZF_1_4_L2
added Int_ZF_1_5_L6
added Int_ZF_2_1_L15
renamed Group_ZF_3_2_L4 Group_ZF_3_2_L4B
added Group_ZF_3_2_L4
added a statement to Int_ZF_1_5_L6
added minf_def
added statements to Int_ZF_1_4_L2
added a statement to Int_ZF_2_1_L7
added Int_ZF_2_1_L16
renamed Int_ZF_2_3_L1 to Int_ZF_2_3_L1A
added Int_ZF_2_3_L1
modified Arthan_Lem_3
added Arthan_L_3_spec
added a statement to IntDiv_ZF_1_L5
added OrderedGroup_ZF_1_L19
added Int_ZF_1_5_L7
modified IntDiv_ZF_1_L5
added Int_ZF_2_3_L5
renamed group0_2_L11 to group_inv_of_inv
renamed group0_2_L11A to renamed group0_2_L11
added Int_ZF_2_1_L12A
added Fol1_L7
added OrderedGroup_ZF_1_L20
added Int_ZF_1_5_L8
added Finite_ZF_1_1_L3
added OrderedGroup_ZF_1_L1A
added OrderedGroup_ZF_2_L2A
added Int_ZF_4_L9
added OrderedGroup_ZF_1_L21
added Order_ZF_3_L14
added OrderedGroup_ZF_1_L4A
added OrderedGroup_ZF_1_L23
added Linord_group_infinite
added Int_ZF_4_L9
added slope_add_def
added Group_ZF_3_2_L16
added Int_ZF_2_1_L12B
added Int_ZF_2_1_L12C
added func1_1_L16B
added Int_ZF_2_3_L8
modified Int_ZF_2_3_L6
added sum_of_pos_sls_is_pos_sl
added Int_ZF_2_3_L6A
added comp_of_pos_sls_is_pos_sl
added OrderedGroup_ZF_3_L11A
added int_not_empty
added Int_ZF_1_3_L20AA
added Int_ZF_2_1_L9A
added statements to group0_2_L16
added OrderedGroup_ZF_1_L5H
added statements to OrderedGroup_ZF_3_L7D
added Int_ZF_2_3_L9
added IsSaturated_def
added EquivClass_3_L1
added EquivClass_3_L2
added EquivClass_3_L3
added EquivClass_3_L4
added EquivClass_3_L5
added equiv_is_sym
added EquivClass_3_L6
added EquivClass_3_L7
added Int_ZF_2_1_L9B
added a statement to Group_ZF_3_3_L3
added pos_slopes_saturated
added Int_ZF_2_3_L10
added a statement to OrderedGroup_ZF_5_L5
added OrderedGroup_ZF_5_L6
added statements to Group_ord_by_positive_set
added OrderedGroup_ZF_1_L24
added Ring_ZF_1_L16
added ring_ord_by_positive_set
added NonnegativeIntegers_def
added PositiveSlopes_def
added PositiveReals_def
added real_mult_commutative
added Group_ZF_2_4_L5B
added Group_ZF_2_4_L5C
added Group_ZF_2_4_L5D
added Group_ZF_3_3_L5
added Real_ZF_1_L8
added Real_ZF_1_L9
added Real_ZF_1_L10
added Real_ZF_1_L11
added subset_with_property
added Real_ZF_1_2_L1
added Real_ZF_1_2_L2
added Real_ZF_1_1_L3
added Real_ZF_1_1_L4
added Real_ZF_1_2_L3
added Real_ZF_1_2_L4
added Real_ZF_1_2_L5
renamed Group_ZF__2_2_L2 to Group_ZF_2_2_L3
added Group_ZF_2_2_L4
added Group_ZF_2_4_L7
modified Group_ZF_3_2_L13
added Group_ZF_3_3_L6
added Real_ZF_1_2_L6
added Real_ZF_1_2_L7
added Real_ZF_1_2_L8
added Real_ZF_1_2_L9
added reals_are_ord_ring
renamed OrderedGroup_ZF_1_T2 to ord_group_bounded_fin
renamed TheIdentityElement to TheNeutralElement
renamed Int_ZF_1_1_L3 to int_zero_one_are_int
renamed func1_1_L16 to func_imagedef
renamed groupAsssum to groupAssum








 


