This is fixed in the repository, as of commit d7be44f. You may find that
set_trace "pp_array_types" 0
will give you an acceptable workaround if you can't upgrade.
Michael
On 26/01/2013, at 1:17, hamed nemati wrote:
>
> Hi all,
>
> I would appreciate if someone could help me to find ou
On 26/01/13 1:17 AM, hamed nemati wrote:
> I would appreciate if someone could help me to find out how I can force
> the Hol4 to print its output in a user defined format. For example,
> using the following code snippet:
> type_abbrev("u8", ``:bool[8]``);
> val user_plus_def = Define `(user_pl
Hi all,
I would appreciate if someone could help me to find out how I can force the
Hol4 to print its output in a user defined format. For example, using the
following code snippet:
type_abbrev("u8", ``:bool[8]``);val user_plus_def = Define `(user_plus (n:u8)
(m:u8) = (n + m))`;E
