Sat, 06 Sep 2014 20:12:36 +0200 | haftmann | theory about sum and product on function bodies | changeset | files |
Sat, 06 Sep 2014 20:12:34 +0200 | haftmann | theory about lexicographic ordering on functions | changeset | files |
Sat, 06 Sep 2014 20:12:32 +0200 | haftmann | added various facts | changeset | files |