wneuper/isa: Changelog

paulson [Thu, 11 Nov 1999 16:14:50 +0100] rev 8014

HOL changes

nipkow [Thu, 11 Nov 1999 12:44:08 +0100] rev 8013

*** empty log message ***

Thu, 11 Nov 1999 12:24:48 +0100Added MicroJava

nipkow [Thu, 11 Nov 1999 12:24:48 +0100] rev 8012

Added MicroJava

nipkow [Thu, 11 Nov 1999 12:23:45 +0100] rev 8011

*** empty log message ***

Thu, 11 Nov 1999 11:58:51 +0100with_path;

wenzelm [Thu, 11 Nov 1999 11:58:51 +0100] rev 8010

with_path;

nipkow [Thu, 11 Nov 1999 11:43:14 +0100] rev 8009

Imported Conny's lemmas from MicroJava

wenzelm [Thu, 11 Nov 1999 11:29:11 +0100] rev 8008

clean target;

wenzelm [Thu, 11 Nov 1999 11:27:31 +0100] rev 8007

header;

paulson [Thu, 11 Nov 1999 10:25:29 +0100] rev 8006

tidied

paulson [Thu, 11 Nov 1999 10:25:17 +0100] rev 8005

new-style infix declaration for "image"

wneuper/isa