Thu, 12 Apr 2007 23:06:27 +0200 | wenzelm | added proj_value_antiq; | changeset | files |
Thu, 12 Apr 2007 23:06:25 +0200 | wenzelm | absdummy: use internal name uu to avoid renaming of popular names; | changeset | files |
Thu, 12 Apr 2007 15:46:12 +0200 | urbanc | tuned the proof of lemma pt_list_set_fresh (as suggested by Randy Pollack) and tuned the syntax for sub_contexts | changeset | files |