nipkow [Sun, 08 Apr 2018 12:31:08 +0200] rev 67967
moved and renamed lemmas
nipkow [Sun, 08 Apr 2018 12:14:00 +0200] rev 67966
Added binary set operations with join-based implementation
nipkow [Sun, 08 Apr 2018 11:05:52 +0200] rev 67965
more name tuning
nipkow [Sun, 08 Apr 2018 09:46:33 +0200] rev 67964
better name; added binary operations
nipkow [Sat, 07 Apr 2018 22:09:57 +0200] rev 67963
tuned
immler [Fri, 06 Apr 2018 17:34:50 +0200] rev 67962
a first shot at tagging for HOL-Analysis manual
haftmann [Thu, 05 Apr 2018 06:15:02 +0000] rev 67961
even more on bit operations
haftmann [Wed, 04 Apr 2018 20:52:36 +0200] rev 67960
more bit operation conversions
haftmann [Tue, 03 Apr 2018 15:36:51 +0000] rev 67959
more rules for numeral conversions;
more precise code setup for pred_numeral
huffman [Wed, 28 Mar 2018 12:13:21 -0700] rev 67958
tuned proofs and generalized some lemmas about limits
huffman [Wed, 28 Mar 2018 12:12:19 -0700] rev 67957
tuned some proofs
huffman [Wed, 28 Mar 2018 11:19:07 -0700] rev 67956
tuned some proofs about filters
wenzelm [Wed, 28 Mar 2018 13:46:21 +0200] rev 67955
clarified handling of stdout vs. stderr: the cronjob should normally be silent;
wenzelm [Wed, 28 Mar 2018 11:54:18 +0200] rev 67954
proper self_update of components -- do assume shared file-system;
wenzelm [Tue, 27 Mar 2018 13:59:01 +0200] rev 67953
updated to scala-2.12.5;
Manuel Eberl <eberlm@in.tum.de> [Mon, 26 Mar 2018 23:58:43 +0200] rev 67952
Merged
Manuel Eberl <eberlm@in.tum.de> [Mon, 26 Mar 2018 16:14:16 +0200] rev 67951
Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa)
Manuel Eberl <eberlm@in.tum.de> [Mon, 26 Mar 2018 16:12:55 +0200] rev 67950
Added some simple facts about limits
nipkow [Mon, 26 Mar 2018 19:13:45 +0200] rev 67949
added lemmas
wenzelm [Sat, 24 Mar 2018 22:45:06 +0100] rev 67948
clarified signature;
wenzelm [Sat, 24 Mar 2018 22:10:14 +0100] rev 67947
clarified messages (amending 3e072441c96a);
wenzelm [Sat, 24 Mar 2018 21:14:49 +0100] rev 67946
session tmp_dir is default master_dir;
wenzelm [Sat, 24 Mar 2018 20:51:42 +0100] rev 67945
tuned output;
wenzelm [Sat, 24 Mar 2018 20:47:54 +0100] rev 67944
tuned;
wenzelm [Sat, 24 Mar 2018 20:45:30 +0100] rev 67943
clarified theory node name;
purge_theories: return purged, retained;
tuned documentation;
nipkow [Sat, 24 Mar 2018 15:07:13 +0100] rev 67942
added lemma
wenzelm [Fri, 23 Mar 2018 23:31:59 +0100] rev 67941
added command "purge_theories";
proper documentation: command "use_theories" is asynchronous;
wenzelm [Fri, 23 Mar 2018 22:53:32 +0100] rev 67940
clarified signature -- eliminated somewhat pointless positions;
wenzelm [Fri, 23 Mar 2018 22:44:43 +0100] rev 67939
clarified signature -- more like use_theories;
wenzelm [Fri, 23 Mar 2018 22:38:38 +0100] rev 67938
clarified;