Name Search: Click to submit your search.
Returns the lemma with the given object identifier, which you can get by using the name search above. i.e. try "%%NOr10" to get the XML format of a list object.
Lemma Lookup by ID: Click to submit your search.
Note on XML "raw" format: This is not meant to be a readable viewing interface; instead it demonstrates compatibility of the FDL with a standard format, XML, that gives us means for sharing the formal content. We hope in the future to show also a MathML format, and intergration with others in our community, such as the OMDoc and HELM projects, both of which use XML.
Note on Object Identifiers: There is a difference between names and object identifiers(ID's). Names are informative of the contents of the object, but they need not be unique with respect to all the objects in the FDL. In reality, names are just properties on the objects, while the identifiers are unique handles on the objects themselves. See Design Notes for more detail.
Building Interactive Digital Libraries of Formal Algorithmic Knowledge