| Tue, 24 Oct 1995 14:59:17 +0100 | clasohm | added calls of init_html and make_chart | file | diff | annotate |
| Thu, 06 Apr 1995 11:27:54 +0200 | lcp | Removed the "exit 1" calls, since now the | file | diff | annotate |
| Tue, 14 Mar 1995 09:43:12 +0100 | nipkow | Removed some type constraints | file | diff | annotate |
| Wed, 09 Nov 1994 19:50:36 +0100 | nipkow | Added header. | file | diff | annotate |
| Sun, 06 Nov 1994 21:04:50 +0100 | clasohm | changed loadpath | file | diff | annotate |
| Wed, 02 Nov 1994 11:50:09 +0100 | clasohm | added IOA to isabelle/HOL | file | diff | annotate |