Re: [Hol-info] Installation Problem of HOL-Light

Hi Elif, On 24/06/2020 18:19, elif deniz wrote: Hi Petros, Thank you for your response. Yes, it is warning and seems like running. But, when I want to load "Multivariate/realanalysis.ml " or "Multivariate/cauchy.ml " theories; after loading almost 4

Re: [Hol-info] Installation Problem of HOL-Light

Hi Petros, Thank you for your response. Yes, it is warning and seems like running. But, when I want to load "Multivariate/realanalysis.ml" or "Multivariate/ cauchy.ml" theories; after loading almost 45 minutes, system killed and I couldn't load these theories. So, I thought maybe it is not proper