#
6617a943 |
|
18-Aug-2018 |
Andreas Lööw <AndreasLoow@users.noreply.github.com> |
Update HolKernelDoc
|
#
84410521 |
|
20-Jul-2018 |
Andreas Lööw <AndreasLoow@users.noreply.github.com> |
Add sort_vars to HolKernelDoc
|
#
ac817518 |
|
11-May-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Modify the type of HolKernel.syntax_fns and add some documentation. This is in response to issue #247. The change to the type makes things a little more natural when using partial applications - for example, HolKernel.syntax_fns1 can be used to provide syntax support for regular unary operations.
|
#
b32d2be8 |
|
16-Feb-2015 |
Jeremy Dawson <jeremy@cecs.anu.edu.au> |
generalising code of (l)_spine_binop to get strip_gen_left/right
|
#
21c9098c |
|
02-Jan-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Implement new, somewhat more generic subterm-finding functions. These subsume my previous attempt in the same vein (bvk_find_term). In this form, I believe gen_find_term will help with github issue #81, which is to do matching-and-renaming on sub-terms, not just whole goals or assumptions.
|
#
26900141 |
|
22-Aug-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Add type definitions to HolKernelDoc.sig to make it compile with mosml.
|
#
06479452 |
|
22-Aug-2012 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Try to get HolKernelDoc.sig accepted by Mosml.
|
#
7cf2a687 |
|
21-Aug-2012 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add extra term/syntax functions to HolKernel. Also tweak definition of HolKernel.find_terms. The new definition of find_terms may or may not be quicker. The new functions are: list_mk_icomb (a type instantiating version of list_mk_comb) mk_monop (this is essentially a curried version of boolSyntax.mk_icomb) mk_binop mk_triop mk_quadop syntax_fns (This is taken from bitSyntax and provides a quick way to define syntax functions. Designed to work with the "mk" functions above.)
|
#
56238290 |
|
14-Jul-2012 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Have another go at getting HTML documentation working for HolKernel.
|