Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 9 mo ago
Took 1 hr 31 min on built-in
Success

#413 (Sep 15, 2016, 4:38:13 PM)

Changes
  1. rename 'Finite_Map' theory to allow addition of 'Finite_Map' to HOL-Library (detail / hgweb)
  2. fully qualify theorem names in tactics (detail / hgweb)

Started by an SCM change

Revision: d50c0e41735c473385b99c2282a0044311ba2b81
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #413( 1 hr 31 min )Console Output