Mon, 20 Oct 1997 15:18:09 +0200 | wenzelm | tuned sig; | changeset | files |
Mon, 20 Oct 1997 12:50:18 +0200 | wenzelm | reset global_names; | changeset | files |
Mon, 20 Oct 1997 12:47:44 +0200 | wenzelm | set global_names; | changeset | files |
Mon, 20 Oct 1997 12:47:02 +0200 | wenzelm | replaced ops by consts; | changeset | files |
Mon, 20 Oct 1997 12:45:51 +0200 | wenzelm | removed Dlist; | changeset | files |
Mon, 20 Oct 1997 11:53:42 +0200 | nipkow | \label{simp-chap} -> chap:simplification | changeset | files |