Thu, 26 May 1994 12:55:52 +0200 "Building new grammar" message is no longer displayed by empty_gram
clasohm [Thu, 26 May 1994 12:55:52 +0200] rev 395
"Building new grammar" message is no longer displayed by empty_gram
Tue, 24 May 1994 09:04:03 +0200 Modified mk_meta_eq to leave meta-equlities on unchanged.
nipkow [Tue, 24 May 1994 09:04:03 +0200] rev 394
Modified mk_meta_eq to leave meta-equlities on unchanged. Thus you may now add ==-thms to simpsets.
Thu, 19 May 1994 17:06:24 +0200 thy reader now initialised by init_thy_reader();
wenzelm [Thu, 19 May 1994 17:06:24 +0200] rev 393
thy reader now initialised by init_thy_reader();
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip