isabelle: Changelog

wenzelm [Tue, 10 Jun 2008 16:43:14 +0200] rev 27117

case_split_tac (works without context);

wenzelm [Tue, 10 Jun 2008 16:43:07 +0200] rev 27116

tuned;

wenzelm [Tue, 10 Jun 2008 16:43:01 +0200] rev 27115

eliminated obsolete case_split_thm -- use case_split;

wenzelm [Tue, 10 Jun 2008 16:42:38 +0200] rev 27114

Unstructured induction and cases analysis for Isabelle/HOL.

haftmann [Tue, 10 Jun 2008 15:31:05 +0200] rev 27113

dropped instance with attached definitions

haftmann [Tue, 10 Jun 2008 15:31:04 +0200] rev 27112

polished interface of datatype package

haftmann [Tue, 10 Jun 2008 15:31:03 +0200] rev 27111

adjusted some proofs involving inats

haftmann [Tue, 10 Jun 2008 15:31:02 +0200] rev 27110

refactoring; addition, numerals

haftmann [Tue, 10 Jun 2008 15:31:01 +0200] rev 27109

more instantiation

haftmann [Tue, 10 Jun 2008 15:30:59 +0200] rev 27108

whitespace tuning

isabelle