1995-12-09 ago removed quotes from consts and syntax sections
1995-07-28 ago Ran expandshort and changed spelling of Grabczewski
1995-06-22 ago removed \...\ inside strings
1995-04-14 ago Deleted comment
1995-04-13 ago Defined vv1 using let. Introduced gg1, gg2.
1995-04-06 ago Received some local definitions from AC_Equiv.thy.
1995-03-31 ago New example of AC Equivalences by Krzysztof Grabczewski