| Mon, 18 Sep 2006 19:12:49 +0200 | wenzelm | added display_graph (from thm_deps.ML); | changeset | files |
| Mon, 18 Sep 2006 19:12:48 +0200 | wenzelm | output: uninterpreted raw symbols -- these are usually LaTeX macros; | changeset | files |
| Mon, 18 Sep 2006 19:12:47 +0200 | wenzelm | pretty_thm: graceful treatment of ProtoPure.thy; | changeset | files |
| Mon, 18 Sep 2006 19:12:46 +0200 | wenzelm | added class_deps; | changeset | files |
| Mon, 18 Sep 2006 19:12:45 +0200 | wenzelm | classes: maintain serial number; | changeset | files |
| Mon, 18 Sep 2006 19:12:44 +0200 | wenzelm | tuned; | changeset | files |