Changeset 12712

Timestamp:

24.10.2009 20:17:40 (4 weeks ago)

Author:

kristina

Message:

Restoring accidentally deleted files

Location:

trunk/DFOL/Tests

Files:

• Categories.het (added)
• Matrices.het (added)
• StructuredSpecs.het (added)
• Test.het (deleted)
• Test_AS_DFOL.hs (added)
• Test_Analysis_DFOL.hs (added)
• Test_Parse_AS_DFOL.hs (added)
• Test_Structuring.hs (added)