| Fri, 23 Aug 2013 20:35:50 +0200 | wenzelm | added Theory.setup convenience; | file | diff | annotate |
| Thu, 13 Jun 2013 17:40:58 +0200 | wenzelm | updated documentation of sort hypotheses; | file | diff | annotate | base |
| Sun, 02 Jun 2013 07:46:40 +0200 | haftmann | make reification part of HOL | file | diff | annotate |
| Fri, 31 May 2013 09:30:32 +0200 | haftmann | reflection without evaluation | file | diff | annotate |
| Fri, 31 May 2013 09:30:32 +0200 | haftmann | decomposed reflection steps into conversions; | file | diff | annotate |
| Fri, 31 May 2013 09:30:32 +0200 | haftmann | permit multiple variable arguments in reflect | file | diff | annotate |
| Fri, 31 May 2013 09:30:32 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 31 May 2013 09:30:32 +0200 | haftmann | dropped vacuous prefix | file | diff | annotate |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | reflection as official HOL tool | file | diff | annotate |