| 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 |
| Thu, 12 Apr 2007 15:35:29 +0200 | wenzelm | updated; | changeset | files |
| Thu, 12 Apr 2007 15:01:13 +0200 | wenzelm | output_basic: added isaantiq markup (only inside verbatim tokens); | changeset | files |
| Thu, 12 Apr 2007 15:01:11 +0200 | wenzelm | newenvironment{isaantiq}; | changeset | files |
| Thu, 12 Apr 2007 13:58:47 +0200 | paulson | Zero variable indexes in clauses | changeset | files |