| Sat, 04 Oct 2008 14:29:43 +0200 | wenzelm | renamed isatool to isabelle_tool in programming interfaces; | changeset | files |
| Sat, 04 Oct 2008 14:29:42 +0200 | wenzelm | Theory header keywords. | changeset | files |
| Sat, 04 Oct 2008 14:29:40 +0200 | wenzelm | added Thy/thy_header.scala; | changeset | files |
| Fri, 03 Oct 2008 21:31:27 +0200 | wenzelm | tuned quotes; | changeset | files |