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_L4