isabelle: Changelog

wenzelm [Thu, 11 Feb 2010 13:54:53 +0100] rev 35107

modernized translations;

boehmes [Thu, 11 Feb 2010 09:14:34 +0100] rev 35106

merged

boehmes [Thu, 11 Feb 2010 09:14:08 +0100] rev 35105

use full paths when importing theories

nipkow [Thu, 11 Feb 2010 08:44:41 +0100] rev 35104

merged

nipkow [Thu, 11 Feb 2010 08:44:19 +0100] rev 35103

inductive vs inductive_set explanation

wenzelm [Thu, 11 Feb 2010 00:45:02 +0100] rev 35102

modernized translations;

wenzelm [Wed, 10 Feb 2010 23:53:46 +0100] rev 35101

modernized translations;

wenzelm [Wed, 10 Feb 2010 19:37:34 +0100] rev 35100

renamed Library/Quotient.thy to Library/Quotient_Type.thy to avoid clash with new theory Quotient in Main HOL;

berghofe [Wed, 10 Feb 2010 17:05:40 +0100] rev 35099

merged

berghofe [Wed, 10 Feb 2010 17:05:18 +0100] rev 35098

Fixed bug in code for guessing the name of the variable representing the freshness context.

isabelle