| author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
| Thu, 18 Mar 2010 19:02:33 +0100 | |
| changeset 1522 | 4f8bab472a83 |
| parent 1485 | c004e7448dca |
| child 1604 | 5ab97f43ec24 |
| permissions | -rw-r--r-- |
quick_and_dirty := true; no_document use_thys ["Nominal2_Base", "Nominal2_Eqvt", "Nominal2_Atoms", "Nominal2_Supp", "Test"] (* no_document use_thys ["Nominal2_Base", "Nominal2_Eqvt", "Nominal2_Atoms", "Nominal2_Supp", "Test", "Term1", "Term2", "Term3", "Term4", "Term5", "Term6", "Term7", "Term8", "Term9", "TySch", "LFex"]; *)