| Sat, 15 May 2010 21:50:05 +0200 | wenzelm | less pervasive names from structure Thm; | changeset | files |
| Sat, 15 May 2010 21:41:32 +0200 | wenzelm | less pervasive names from structure Thm; | changeset | files |
| 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 |