Re: [Hol-info] Term Concatenation

2018-08-01 Thread Mario Xerxes Castelán Castro
There is no notion of concatenation of terms as such in the logic that HOL4 implements. What do you want to do, more specifically? On 01/08/18 13:47, Dylan Melville wrote: > How do you concatenate terms in HOL? > > -- > C

[Hol-info] Term Concatenation

2018-08-01 Thread Dylan Melville
How do you concatenate terms in HOL? -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot ___ hol-info m