src/Pure/theory_data.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-01-16 wenzelm 2002-01-16 GPLed;
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2000-01-25 wenzelm 2000-01-25 added map;
1999-08-25 wenzelm 1999-08-25 hide private parts;
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1998-10-13 wenzelm 1998-10-13 PRIVATE sig parts;
1998-06-08 wenzelm 1998-06-08 Type-safe interface for theory data.