| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Fri, 19 Oct 2012 15:12:52 +0200 | webertj | Renamed {left,right}_distrib to distrib_{right,left}. | file | diff | annotate |
| Fri, 19 Oct 2012 10:46:42 +0200 | webertj | Tuned. | file | diff | annotate |
| Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Tue, 10 Jun 2008 15:31:01 +0200 | haftmann | more instantiation | file | diff | annotate |
| Wed, 27 Feb 2008 18:01:10 +0100 | nipkow | Renamed ListSpace to ListVector | file | diff | annotate |