blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49159
tuning
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49158
renamed experimental option
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49157
finished implementation of DFG type class output
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49156
more work on DFG type classes
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49155
more work on class support
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49154
generate type classes for polymorphic DFG format (SPASS)
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49153
avoid detour through terms
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49152
cleanly distinguish between type declarations and symbol declarations
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49151
removed old hack now that types and terms are cleanly distinguished in the data structure
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 49150
added sorts to datastructure