| Fri, 07 Sep 2007 22:13:45 +0200 | wenzelm | added hilite markup; | changeset | files |
| Fri, 07 Sep 2007 20:40:08 +0200 | wenzelm | fixed type alias in signature; | changeset | files |
| Fri, 07 Sep 2007 17:56:03 +0200 | nipkow | added lemma | changeset | files |
| Fri, 07 Sep 2007 15:35:25 +0200 | paulson | allow TVars during type inference | changeset | files |
| Fri, 07 Sep 2007 15:34:32 +0200 | paulson | tidied the proofs | changeset | files |
| Fri, 07 Sep 2007 09:11:32 +0200 | wenzelm | made smlnj happy; | changeset | files |
| Thu, 06 Sep 2007 18:19:00 +0200 | paulson | new fun declaration | changeset | files |