Sat, 22 Jun 2002 18:28:46 +0200 | paulson | converted Bool, Trancl, Rel to Isar format | file | diff | annotate |
Fri, 14 Jul 2000 13:39:03 +0200 | paulson | changed the quotient syntax from / to // | file | diff | annotate |
Tue, 22 Sep 1998 13:49:22 +0200 | paulson | new directory for Integers | file | diff | annotate |