| Sat, 14 Oct 2006 23:25:55 +0200 | wenzelm | added theorem(_i); | changeset | files |
| Sat, 14 Oct 2006 23:25:54 +0200 | wenzelm | export map_elem; | changeset | files |
| Sat, 14 Oct 2006 23:25:53 +0200 | wenzelm | added assert; | changeset | files |
| Sat, 14 Oct 2006 23:25:51 +0200 | wenzelm | theorem: added local_theory version; | changeset | files |
| Sat, 14 Oct 2006 23:25:51 +0200 | wenzelm | Attrib.pretty_attrib; | changeset | files |
| Sat, 14 Oct 2006 23:25:50 +0200 | wenzelm | added pretty_attribs (from attrib.ML); | changeset | files |
| Sat, 14 Oct 2006 23:25:48 +0200 | wenzelm | moved pretty_attribs to attrib.ML; | changeset | files |
| Sat, 14 Oct 2006 23:25:46 +0200 | wenzelm | locale begin/end; | changeset | files |