convert to UTF-8 (#4137)
authorSimon Marlow <marlowsd@gmail.com>
Fri, 25 Jun 2010 10:22:45 +0000 (10:22 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 25 Jun 2010 10:22:45 +0000 (10:22 +0000)
real/veritas/DerivedRules.hs

index f0d755d..e4c299b 100644 (file)
@@ -112,9 +112,9 @@ find_trms p f tm
 
 {-
 (******************************************************************************)
-(*                 » ù   » æ                                                  *)
+(*                 » ù   » æ                                                  *)
 (*                 --------- conj                                             *)
-(*                  » ù ³ æ                                                   *)
+(*                  » ù ³ æ                                                   *)
 (******************************************************************************)
 -}