summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2012-05-15Fixed alphaEquiv, againJed Barber
2012-05-15Added guards for command functionsJed Barber
2012-05-15Fixed bugs in alphaEquiv, substituteJed Barber
2012-05-15Fixed bug in mkEqualsTypeJed Barber
2012-05-15Fixed a number of compilation errorsJed Barber
2012-05-15Added a standard reference for a bool typeJed Barber
2012-05-15Added functions to find type variables in terms and typesJed Barber
2012-05-15Changed substitute/rename to use sets instead of listsJed Barber
2012-05-14Moved a number of article format parsing functions to a separate fileJed Barber
2012-05-14Started using Data.Char for number testingJed Barber
2012-05-14Added the removal of escape character backslashes from name processingJed Barber
2012-05-11Incorporated use of Data.Set and Data.MapJed Barber
2012-05-11isNumber and isName slightly more readableJed Barber
2012-05-11Moved datatype declarations and associated functions to separate filesJed Barber
2012-05-10Fixed datatype used for substitutionsJed Barber
2012-05-10Improved display of types and type operatorsJed Barber
2012-05-10Improved display of = termsJed Barber
2012-05-10typeOf definition fixedJed Barber
2012-05-08Names processed properlyJed Barber
2012-05-08Alpha equivalence function fixed to account for lambda depthJed Barber
2012-05-08Informative output for Stack, Dictionary, Assumptions, TheoremsJed Barber
2012-05-07Initial sourceJed Barber
2012-04-24first commitJed Barber