Thu, 31 May 2007 18:31:36 +0200 | wenzelm | moved aconvc to more_thm.ML; | file | diff | annotate |
Sat, 19 May 2007 18:19:45 +0200 | chaieb | added binop_conv, aconvc | file | diff | annotate |
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 |