| Sat, 15 May 2010 21:09:54 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 May 2010 18:29:18 +0200 | wenzelm | merged | changeset | files |
| Sat, 15 May 2010 07:48:24 -0700 | huffman | add real_le_linear to list of legacy theorem names | changeset | files |
| Sat, 15 May 2010 16:20:54 +0200 | blanchet | make SML/NJ happy | changeset | files |
| Sat, 15 May 2010 18:15:50 +0200 | wenzelm | removed unused conversions; | changeset | files |
| 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 |
| Fri, 14 May 2010 23:35:35 +0200 | blanchet | merge | changeset | files |
| Fri, 14 May 2010 23:34:24 +0200 | blanchet | added Sledgehammer documentation to TOC | changeset | files |
| Fri, 14 May 2010 23:32:48 +0200 | blanchet | added some Sledgehammer news | changeset | files |
| Fri, 14 May 2010 23:16:33 +0200 | blanchet | document Nitpick changes | changeset | files |
| Fri, 14 May 2010 22:43:24 +0200 | blanchet | merge | changeset | files |
| Fri, 14 May 2010 22:43:00 +0200 | blanchet | added Sledgehammer manual; | changeset | files |
| Fri, 14 May 2010 22:30:24 +0200 | blanchet | renamed Sledgehammer options | changeset | files |
| Fri, 14 May 2010 22:29:50 +0200 | blanchet | renamed options | changeset | files |
| Fri, 14 May 2010 22:28:39 +0200 | blanchet | remove support for crashing beta solver HaifaSat | changeset | files |
| Fri, 14 May 2010 16:15:10 +0200 | blanchet | renamed two Sledgehammer options | changeset | files |
| Fri, 14 May 2010 22:46:58 +0200 | nipkow | merged | changeset | files |
| Fri, 14 May 2010 22:46:41 +0200 | nipkow | added listsum lemmas | changeset | files |