Changeset 12715 for trunk/DFOL/Logic_DFOL.hs

Timestamp:

24.10.2009 23:50:36 (5 months ago)

Author:

kristina

Message:

Removed whitespaces

Files:

• trunk/DFOL/Logic_DFOL.hs (modified) (1 diff)

trunk/DFOL/Logic_DFOL.hs

@@ -10 +10 @@
 Portability :  portable
 
-Ref: Florian Rabe: First-Order Logic with Dependent Types. 
+Ref: Florian Rabe: First-Order Logic with Dependent Types.
      IJCAR 2006, pages 377-391.
 -}