The American Institute of Mathematics has been promoting "knowls", which is a very similar idea and implementation: http://www.aimath.org/knowlepedia/

Rob Beezer's free open-source linear algebra book uses these extensively to provide more details in proofs and in exposition. It's very nice. For example, click on the underlined blue text at http://linear.ups.edu/html/section-SSLE.html