diff options
| author | amahboubi | 2015-11-10 11:37:36 +0100 |
|---|---|---|
| committer | amahboubi | 2015-11-10 11:37:36 +0100 |
| commit | c5fd9787347cf48eb6599bad3dfff5d277f9aae2 (patch) | |
| tree | ca26a7066b72c32f93152ef9397f9e68ecebbd45 /etc | |
| parent | 490d8fa0e30822caa8ea942e276ac0ed449aae1d (diff) | |
Adding sections for definitions in change log
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/etc/ChangeLog b/etc/ChangeLog index be41718..a603a9f 100644 --- a/etc/ChangeLog +++ b/etc/ChangeLog @@ -18,6 +18,9 @@ cfclass_transl -> cfclass_transr nontrivial_ideal -> proper_ideal zchar_orthonormalP -> vchar_orthonormalP + + * Definitions that changed: + seq_sub * Statements that changed: orbit_in_transl, orbit_sym, orbit_trans, orbit_transl, orbit_transr, @@ -25,6 +28,9 @@ lcoset_transr, rcoset_transl, rcoset_transr, mem2_last, bind_unless, unless_contra, all_and2, all_and3, all_and4, all_and5, ltr0_neq0, ltr_prod, Zisometry_of_iso + + * New definitions: + adhoc_seq_sub_choiceMixin, adhoc_seq_sub_[choice|fin]Type * New theorems: orbit_in_eqP, cards_draws, cfAut_lin_char, cfConjC_lin_char, |