author | ballarin |
Wed, 30 Apr 2003 10:01:35 +0200 | |
changeset 13936 | d3671b878828 |
parent 13870 | cf947d1ec5ff |
child 13940 | c67798653056 |
permissions | -rw-r--r-- |
(* The Isabelle Algebraic Library $Id$ Author: Clemens Ballarin, started 24 September 1999 *) (* New development, based on explicit structures *) use_thy "Sylow"; (* Groups *) (* use_thy "UnivPoly"; *) (* Rings and polynomials *) (* Old development, based on axiomatic type classes. Will be withdrawn in future. *) with_path "abstract" time_use_thy "Abstract"; (*The ring theory*) with_path "poly" time_use_thy "Polynomial"; (*The full theory*)