| Sun, 30 Jul 2006 21:28:58 +0200 | wenzelm | add_consts: proper Sign.full_name; | changeset | files |
| Sun, 30 Jul 2006 21:28:57 +0200 | wenzelm | added generalize_facts; | changeset | files |
| Sun, 30 Jul 2006 21:28:56 +0200 | wenzelm | added maxidx_values; | changeset | files |
| Sun, 30 Jul 2006 21:28:55 +0200 | wenzelm | export: refrain from adjusting maxidx; | changeset | files |
| Sun, 30 Jul 2006 21:28:54 +0200 | wenzelm | adjust_maxidx: pass explicit lower bound; | changeset | files |
| Sun, 30 Jul 2006 21:28:52 +0200 | wenzelm | Thm.adjust_maxidx; | changeset | files |
| Sun, 30 Jul 2006 21:28:51 +0200 | wenzelm | removed unused add_in_order/add_once (cf. OrdList.insert); | changeset | files |