| Thu, 19 Feb 2004 17:57:54 +0100 | paulson | new numerics section using type classes | file | diff | annotate |
| Tue, 07 May 2002 15:03:50 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Sat, 05 Jan 2002 01:18:54 +0100 | wenzelm | \newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate | file | diff | annotate |