src/Pure/object_logic.ML
Sun, 14 Oct 2001 22:08:29 +0200 wenzelm moved rulify to ObjectLogic;
Sun, 14 Oct 2001 20:06:13 +0200 wenzelm Specifics about common object-logics.
Fri, 04 Jun 1999 19:51:26 +0200 wenzelm added dest_main_statement;
Mon, 09 Nov 1998 15:42:08 +0100 wenzelm Object logic specific operations.
less more (0) tip