Wed, 06 Aug 1997 00:24:49 +0200 | berghofe | This file now contains all functions for generating html | changeset | files |
Wed, 06 Aug 1997 00:23:01 +0200 | berghofe | Moved several functions: | changeset | files |
Wed, 06 Aug 1997 00:18:34 +0200 | berghofe | Moved "qed" - functions etc. from thy_read.ML to thm_database.ML. | changeset | files |
Wed, 06 Aug 1997 00:15:14 +0200 | berghofe | Added some additional "use" commands for new files | changeset | files |
Wed, 06 Aug 1997 00:06:47 +0200 | berghofe | Source files for Isabelle theory graph browser. | changeset | files |
Wed, 06 Aug 1997 00:04:53 +0200 | berghofe | Makefile for GraphBrowser | changeset | files |