isabelle: Changelog

wenzelm [Tue, 07 Sep 1999 16:57:28 +0200] rev 7504

then_tac = refine;

wenzelm [Tue, 07 Sep 1999 16:57:15 +0200] rev 7503

read_typ/term: context_of;

wenzelm [Tue, 07 Sep 1999 16:56:47 +0200] rev 7502

tuned;

wenzelm [Tue, 07 Sep 1999 16:56:10 +0200] rev 7501

added context_of;

wenzelm [Tue, 07 Sep 1999 16:55:38 +0200] rev 7500

logtypes: pretend "dummy" is one;

wenzelm [Tue, 07 Sep 1999 10:40:58 +0200] rev 7499

isatool expandshort;

wenzelm [Mon, 06 Sep 1999 22:12:08 +0200] rev 7498

expandshort usage: forward_tac;

oheimb [Mon, 06 Sep 1999 18:19:12 +0200] rev 7497

strengthened card_seteq

oheimb [Mon, 06 Sep 1999 18:19:01 +0200] rev 7496

added theorems subset_insertD, singleton_insert_inj_eq, subset_singletonD

oheimb [Mon, 06 Sep 1999 18:18:49 +0200] rev 7495

added theorems fst_eqD and snd_eqD, added split_beta_proc, new split_eta_proc

isabelle