Fri, 11 May 2007 18:46:50 +0200 | wenzelm | unified names: foo_conv; | file | diff | annotate |
Thu, 10 May 2007 18:10:32 +0200 | wenzelm | more conversions; | file | diff | annotate |
Thu, 10 May 2007 00:39:51 +0200 | wenzelm | Conversions: primitive equality reasoning (from drule.ML); | file | diff | annotate |