| Sat, 15 May 2010 18:12:58 +0200 | wenzelm | tuned header; | changeset | files |
| Sat, 15 May 2010 18:11:00 +0200 | wenzelm | moved normarith.ML where it is actually used; | changeset | files |
| Sat, 15 May 2010 17:59:06 +0200 | wenzelm | incorporated further conversions and conversionals, after some minor tuning; | changeset | files |
| Sat, 15 May 2010 15:31:33 +0200 | wenzelm | eliminated redundant runtime checks; | changeset | files |
| Sat, 15 May 2010 00:45:42 +0200 | krauss | normalize atyp names after unconstrainT, which may rename atyps arbitrarily; | changeset | files |
| Sat, 15 May 2010 15:07:39 +0200 | wenzelm | more precise dependencies for HOL-Word-SMT_Examples; | changeset | files |
| Sat, 15 May 2010 13:31:25 +0200 | wenzelm | merged | changeset | files |