Tue, 16 Sep 2008 16:13:14 +0200 | haftmann | removed babel again | changeset | files |
Tue, 16 Sep 2008 16:13:11 +0200 | haftmann | celver code lemma avoid type ambiguity problem with Haskell | changeset | files |
Tue, 16 Sep 2008 16:13:09 +0200 | haftmann | a sophisticated char/nibble conversion combinator | changeset | files |