| Sat, 01 May 2004 22:01:57 +0200 | wenzelm | tuned instance statements; | file | diff | annotate |
| Fri, 23 Apr 2004 20:49:26 +0200 | wenzelm | proper document setup; | file | diff | annotate |
| Thu, 22 Apr 2004 12:18:23 +0200 | wenzelm | fixed constdefs typing; | file | diff | annotate |
| Fri, 16 Apr 2004 18:30:51 +0200 | obua | first version of matrices for HOL/Isabelle | file | diff | annotate |