Mon, 13 Mar 2017 12:04:11 +0100 | wenzelm | clarified Session.Phase; | changeset | files |
Tue, 14 Mar 2017 21:42:42 +0100 | immler | recovered typedef with set bcontfun (amending d23eded35a33) | changeset | files |
Fri, 10 Mar 2017 23:16:40 +0100 | immler | modernized construction of type bcontfun; base explicit theorems on Uniform_Limit.thy; added some lemmas | changeset | files |