Mon, 02 Jun 2008 22:50:19 +0200 | wenzelm | more contributors; | changeset | files |
Mon, 02 Jun 2008 21:19:46 +0200 | wenzelm | renamed theory "syntax" to "Outer_Syntax"; | changeset | files |
Mon, 02 Jun 2008 21:13:48 +0200 | wenzelm | isatool tty; | changeset | files |
Mon, 02 Jun 2008 21:01:42 +0200 | wenzelm | renamed theory "intro" to "Introduction"; | changeset | files |
Mon, 02 Jun 2008 13:21:06 +0200 | nipkow | tuned proofs | changeset | files |
Sun, 01 Jun 2008 17:45:43 +0200 | dixon | fixed bug: maxidx was wrongly calculuated from term, now calculated | changeset | files |