| Wed, 08 Jul 2015 15:37:32 +0200 | wenzelm | clarified text folds: proof ... qed counts as extra block; | changeset | files |
| Wed, 08 Jul 2015 14:30:00 +0200 | wenzelm | more accurate skip_proofs nesting, e.g. relevant for 'subgoal' command; | changeset | files |
| Wed, 08 Jul 2015 12:09:44 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Jul 2015 11:50:43 +0200 | wenzelm | tuned according to a81dc82ecba3; | changeset | files |
| Wed, 08 Jul 2015 20:19:12 +0200 | haftmann | tuned facts | changeset | files |
| Wed, 08 Jul 2015 14:01:41 +0200 | haftmann | more cautious use of [iff] declarations | changeset | files |
| Wed, 08 Jul 2015 14:01:41 +0200 | haftmann | avoid explicit definition of the relation of associated elements in a ring -- prefer explicit normalization instead | changeset | files |
| Wed, 08 Jul 2015 14:01:40 +0200 | haftmann | eliminated some duplication | changeset | files |