isabelle: Changelog

haftmann [Mon, 22 Feb 2010 17:02:39 +0100] rev 35282

dropped references to old axclass from documentation

berghofe [Mon, 22 Feb 2010 14:11:03 +0100] rev 35281

Fixed bug that caused (r)trancl_tac to crash when the term denoting the relation contained variables bound by meta level quantifiers.

blanchet [Mon, 22 Feb 2010 11:57:33 +0100] rev 35280

fixed a few bugs in Nitpick and removed unreferenced variables

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:28:49 +0100] rev 35279

update the keywords files

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:28:00 +0100] rev 35278

rename print_maps to print_quotmaps

haftmann [Mon, 22 Feb 2010 09:36:29 +0100] rev 35277

adjusted to cs. 8dfd816713c6

haftmann [Mon, 22 Feb 2010 09:30:50 +0100] rev 35276

NEWS

haftmann [Mon, 22 Feb 2010 09:17:49 +0100] rev 35275

merged

haftmann [Mon, 22 Feb 2010 09:15:12 +0100] rev 35274

tuned proofs

haftmann [Mon, 22 Feb 2010 09:15:11 +0100] rev 35273

ascii syntax for multiset order

isabelle