src/HOL/Algebra/Module.thy
Mon, 05 May 2003 10:53:27 +0200 ballarin Fixed but with old versions of pdflatex (fancy symbols not allowed in bookmarks).
Fri, 02 May 2003 20:02:50 +0200 ballarin HOL-Algebra complete for release Isabelle2003 (modulo section headers).
Wed, 30 Apr 2003 18:32:06 +0200 ballarin HOL-Algebra: New polynomial development added.
Wed, 30 Apr 2003 10:01:35 +0200 ballarin Greatly extended CRing. Added Module.
less more (0) tip