| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Tue, 26 Mar 2013 12:20:59 +0100 | hoelzl | move Ln.thy and Log.thy to Transcendental.thy | file | diff | annotate |
| Tue, 26 Mar 2013 12:20:56 +0100 | hoelzl | remove Real.thy | file | diff | annotate |
| Tue, 26 Mar 2013 12:20:52 +0100 | hoelzl | separate SupInf into Conditional_Complete_Lattice, move instantiation of real to RealDef | file | diff | annotate |
| Wed, 01 Dec 2010 20:59:29 +0100 | nipkow | moved activation of coercion inference into RealDef and declared function real a coercion. | file | diff | annotate |
| Wed, 01 Dec 2010 11:32:24 +0100 | wenzelm | activate subtyping/coercions in theory Complex_Main; | file | diff | annotate |