doc-src/IsarImplementation/Thy/logic.thy
Thu, 22 Jan 2009 09:04:56 +0100 haftmann binding replaces bstring
Wed, 21 Jan 2009 16:47:32 +0100 haftmann binding is alias for Binding.T
Sat, 06 Dec 2008 08:57:39 +0100 haftmann adapted to changes in binding module
less more (0) -30 -10 -3 tip