isabelle: Changelog

oheimb [Thu, 15 Feb 2001 16:00:38 +0100] rev 11135

moved wf_less from Nat.ML to NatDef.ML

oheimb [Thu, 15 Feb 2001 16:00:36 +0100] rev 11134

added nat as instance of new wellorder axclass

oheimb [Thu, 15 Feb 2001 16:00:35 +0100] rev 11133

Ord.thy/.ML converted to Isar

oheimb [Thu, 15 Feb 2001 15:56:51 +0100] rev 11132

added trial proof

oheimb [Thu, 15 Feb 2001 14:30:13 +0100] rev 11131

improved subst_RS

oheimb [Thu, 15 Feb 2001 13:07:03 +0100] rev 11130

added missiong word

nipkow [Thu, 15 Feb 2001 11:15:39 +0100] rev 11129

*** empty log message ***

Thu, 15 Feb 2001 00:53:45 +0100 index mod syntax;

wenzelm [Thu, 15 Feb 2001 00:53:45 +0100] rev 11128

index mod syntax;

wenzelm [Wed, 14 Feb 2001 23:43:55 +0100] rev 11127

tuned;

wenzelm [Wed, 14 Feb 2001 23:42:45 +0100] rev 11126

isatool install -k;

isabelle