wenzelm [Thu, 10 Jun 2021 11:54:20 +0200] rev 60289
clarified command name: this is to register already defined rule sets in the Knowledge Store;
wenzelm [Wed, 09 Jun 2021 20:28:42 +0200] rev 60288
more TODO;
wenzelm [Tue, 01 Jun 2021 21:01:32 +0200] rev 60287
more TODO;
wenzelm [Wed, 26 May 2021 16:24:05 +0200] rev 60286
command 'setup_rule' semantic equivalent for KEStore_Elems.add_rlss;
wenzelm [Wed, 26 May 2021 16:19:41 +0200] rev 60285
more TODO;
wenzelm [Wed, 26 May 2021 14:10:17 +0200] rev 60284
more TODO;
wenzelm [Wed, 26 May 2021 13:42:53 +0200] rev 60283
more formal @{theory Complex_Main};
wenzelm [Wed, 26 May 2021 13:27:24 +0200] rev 60282
more explanations on theory lookup;
prefer Theory.nodes_of, which includes the start node;
wenzelm [Wed, 26 May 2021 13:26:55 +0200] rev 60281
more TODO;
wenzelm [Wed, 26 May 2021 13:12:03 +0200] rev 60280
more formal;