isabelle: Changelog

berghofe [Fri, 24 Jul 1998 13:00:36 +0200] rev 5181

New theory Datatype. Needed as an ancestor when defining datatypes.

berghofe [Fri, 24 Jul 1998 12:55:05 +0200] rev 5180

Added new function add_typedef_i_no_def which doesn't add definition of representing set to theory.

berghofe [Fri, 24 Jul 1998 12:53:04 +0200] rev 5179

Replaced Nat.thy by NatDef.thy because Nat.thy depends on inductive_package.

berghofe [Fri, 24 Jul 1998 12:50:34 +0200] rev 5178

New primrec function definition package

berghofe [Fri, 24 Jul 1998 12:50:06 +0200] rev 5177

New datatype definition package

nipkow [Fri, 24 Jul 1998 08:10:04 +0200] rev 5176

induct_tac -> exhaust_tac in 2 places.

wenzelm [Wed, 22 Jul 1998 17:59:49 +0200] rev 5175

moved long_names / cond_extern to name_space.ML;

wenzelm [Wed, 22 Jul 1998 11:33:32 +0200] rev 5174

tuned;

wenzelm [Tue, 21 Jul 1998 17:57:07 +0200] rev 5173

tuned;

wenzelm [Tue, 21 Jul 1998 17:30:13 +0200] rev 5172

fixed eps/ps find;

isabelle