Hi, I am working through harrison's tutorial and got the following result:
# th1;; val it : thm = |- x + 1 = x + 1 # conc1;; Error: Unbound value conc1 # conc1 th1;; Error: Unbound value conc1 # Has the function been renamed? ------------------------------------------------------------------------------ This SF email is sponsosred by: Try Windows Azure free for 90 days Click Here http://p.sf.net/sfu/sfd2d-msazure _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
