Sun, 31 Jan 2010 21:40:44 +0100 | wenzelm | more details on Isabelle symbols; | changeset | files |
Fri, 29 Jan 2010 23:59:03 +0100 | wenzelm | theory data example; | changeset | files |
Fri, 29 Jan 2010 23:57:57 +0100 | wenzelm | basic setup for ML examples: tag "mlex"; | changeset | files |