| Mon, 25 Jun 2007 00:36:39 +0200 | wenzelm | made type conv pervasive; | changeset | files |
| Mon, 25 Jun 2007 00:36:38 +0200 | wenzelm | made type conv pervasive; | changeset | files |
| Mon, 25 Jun 2007 00:36:37 +0200 | wenzelm | Thm.eta_long_conversion; | changeset | files |
| Mon, 25 Jun 2007 00:36:36 +0200 | wenzelm | made type conv pervasive; | changeset | files |
| Mon, 25 Jun 2007 00:36:35 +0200 | wenzelm | Thm.add_cterm_frees; | changeset | files |
| Mon, 25 Jun 2007 00:36:34 +0200 | wenzelm | made type conv pervasive; | changeset | files |
| Mon, 25 Jun 2007 00:36:33 +0200 | wenzelm | made type conv pervasive; | changeset | files |
| Sun, 24 Jun 2007 21:15:55 +0200 | nipkow | tex problem fixed | changeset | files |
| Sun, 24 Jun 2007 20:55:41 +0200 | nipkow | tuned and used field_simps | changeset | files |
| Sun, 24 Jun 2007 20:47:05 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sun, 24 Jun 2007 20:18:20 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sun, 24 Jun 2007 15:17:54 +0200 | nipkow | new lemmas | changeset | files |