isabelle: Changelog

wenzelm [Mon, 25 Feb 2008 16:31:18 +0100] rev 26130

tuned;

wenzelm [Mon, 25 Feb 2008 16:31:17 +0100] rev 26129

LocalTheory.set_group for user command;

wenzelm [Mon, 25 Feb 2008 16:31:15 +0100] rev 26128

inductive package: simplified group handling;

chaieb [Mon, 25 Feb 2008 12:05:58 +0100] rev 26127

Added dependency of Library on Pocklington.thy

chaieb [Mon, 25 Feb 2008 12:04:09 +0100] rev 26126

Pocklington's Primality criterion

chaieb [Mon, 25 Feb 2008 11:59:57 +0100] rev 26125

More primality theorems

chaieb [Mon, 25 Feb 2008 11:27:27 +0100] rev 26124

A library for univariate polynomials -- generalizes old Hyperreal/Poly.thy from reals to locales

chaieb [Mon, 25 Feb 2008 11:27:25 +0100] rev 26123

A proof a the fundamental theorem of algebra

chaieb [Mon, 25 Feb 2008 11:27:08 +0100] rev 26122

Uses Univ_Poly.thy

chaieb [Mon, 25 Feb 2008 11:27:07 +0100] rev 26121

Does not import Poly anymore

isabelle