20051028 
berghofe 
20051028 
Implemented proof of weak induction theorem.

file  diff  annotate 
20051028 
berghofe 
20051028 
Removed legacy prove_goalw_cterm command.

file  diff  annotate 
20051017 
berghofe 
20051017 
Improved proof of injectivity theorems to make it work on
"ordinary" function types as well.

file  diff  annotate 
20051017 
berghofe 
20051017 
Fixed bug in proof of support theorem (it failed on constructors with no arguments).

file  diff  annotate 
20051017 
berghofe 
20051017 
Implemented proofs for support and freshness theorems.

file  diff  annotate 
20051017 
berghofe 
20051017 
Initial revision.

file  diff  annotate 