Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Mon, 14 Jun 2004 14:20:55 +0200 | obua | Further development of matrix theory | file | diff | annotate |
Fri, 23 Apr 2004 20:49:26 +0200 | wenzelm | proper document setup; | file | diff | annotate |
Fri, 16 Apr 2004 18:30:51 +0200 | obua | first version of matrices for HOL/Isabelle | file | diff | annotate |