| Mon, 17 May 1999 19:15:35 +0200 | wenzelm | remove_thy; | file | diff | annotate |
| Mon, 10 May 1999 16:48:00 +0200 | wenzelm | axclass; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Tue, 04 May 1999 11:27:25 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 03 May 1999 19:03:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 03 May 1999 18:35:48 +0200 | wenzelm | theory loader stuff updated and improved; | file | diff | annotate |
| Thu, 27 Aug 1998 16:40:37 +0200 | wenzelm | moeved get_thm etc. to goals.tex; | file | diff | annotate |