Tree @debian/1.5.5-1 (Download .tar.gz)
History of thstuff @debian/1.5.5-1
- * Bug fix: crash when rd- applied to root node. tswd 8 years ago
- Changed the report of 'bguess' as Prof. Futatsugi suggested. tswd 8 years ago
- Introduced new tactic rc- which is similar to rd tswd 8 years ago
- Changed 'bguess' syntax: 'bguess <stragety> [ with <predicate-name> ] tswd 8 years ago
- if newly introduced flag 'tree horizontal' is on (default off), tswd 8 years ago
- '=(,)=> suchThat {T}' print out T in grind form iff T is of term Bool tswd 8 years ago
- Changed printout form of abst-bterm. tswd 8 years ago
- :init does not normalize the instantiated axiom by default. tswd 8 years ago
- 1. Bug fix in 'bguess'. tswd 8 years ago
- delete unconditional debug statement. tswd 8 years ago
- :ctf[<term> .] now allows constructor with arguments. tswd 8 years ago
- Fixed a bug :imply destructively changes sentences in goal. tswd 8 years ago
- :imply allows omitting substitution :imp [<label>] . tswd 8 years ago
- :imp : evaluation must be done in current goal context. tswd 8 years ago
- sbcl doesn't like newline. tswd 8 years ago
- binspector's fellow new command 'bguess' is instroduced. tswd 8 years ago
- bresolve now accepts additional optional argument 'all'. tswd 8 years ago
- Fixed an iproper message when given term to 'binspect' is trivial form. tswd 8 years ago
- Fixed the bugs in boolean term inspector. tswd 8 years ago
- * Minor but very important modification of Boolean term inspector. tswd 8 years ago
- Enhanced 'binspect' command. Solutions are searched like width first manner. tswd 8 years ago
- Fixed :binspect crashes when no default target goal exists. tswd 8 years ago
- eval-citp-imp was not defined... tswd 8 years ago
- Preparing for the next new command of CITP for CafeOBJ. tswd 8 years ago
- Delete unused/not-yet-implemented tactic CS. tswd 8 years ago
- Fixed: normalize-sentence behaves properly even :spoiler is off. tswd 8 years ago
- * :def acceps sequence of existing tactic,i.e., :def <name> = ( <tactic-name> ...) . tswd 8 years ago
- - Fixed the problem :apply(csp-...) makes redundant sub goals. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Supoorts for more human readable proof infomation. tswd 8 years ago