ALADIN 1. A Language for Attributed Definitions. 2. An interactive mathematics system for the IBM 360. ["A Conversational System for Engineering Assistance: ALADIN", Y. Siret, Proc Second Symp Symb Algebraic Math, ACM Mar 1971]. (1995-04-13)
