| Tue, 17 May 2016 08:40:24 +0200 | blanchet | proper consideration of chained facts in 'try0' minimization | changeset | files |
| Sat, 14 May 2016 22:00:44 +0200 | wenzelm | re-enable fact index for 'obtains' assumption (amending 5c8e6a751adc); | changeset | files |
| Sat, 14 May 2016 19:59:43 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 14 May 2016 19:49:10 +0200 | wenzelm | toplevel theorem statements support 'if'/'for' eigen-context; | changeset | files |
| Sat, 14 May 2016 13:52:01 +0200 | wenzelm | reverted accidental commit; | changeset | files |
| Fri, 13 May 2016 20:24:10 +0200 | wenzelm | eliminated use of empty "assms"; | changeset | files |
| Fri, 13 May 2016 20:22:02 +0200 | wenzelm | more complete theories; | changeset | files |
| Thu, 12 May 2016 22:06:18 +0200 | wenzelm | common entity definitions within a global or local theory context; | changeset | files |