| Sun, 25 Apr 2010 09:01:03 -0700 | huffman | simplify types of path operations (use real instead of real^1) | changeset | files |
| Sun, 25 Apr 2010 07:41:57 -0700 | huffman | add lemmas convex_real_interval and convex_box | changeset | files |
| Sat, 24 Apr 2010 21:29:22 -0700 | huffman | generalize more constants and lemmas | changeset | files |