src/Pure/object_logic.ML
1998-11-09 wenzelm 1998-11-09 Object logic specific operations.