User Activity

  • Committed [a5a9c4]

    Initial revision

  • Committed [c67f44]

    moved use of Thy/ROOT.ML to end of file because Thy/read.ML needs Thm

  • Committed [f3d4ff]

    added functions that operate on filenames: split_filename (originally located

  • Committed [a8f1cd]

    changed "list-fn" to "listfn"

  • Committed [747f1a]

    changed filenames to lower case name of theory the file contains

  • Committed [37e93e]

    renamed ordinal.* to ord.*

  • Committed [5c6648]

    renamed ordinal.ML to ord.ML

  • Committed [d1b8c9]

    renamed ordinal.thy to ord.thy

View All

Personal Data

Username:
clasohm
Joined:
2004-07-21 13:21:29

Projects

  • No projects to display.

Personal Tools

Auth0 Logo