Commits · 66284008b1fbbf8cdd12c78b55a2f8ed32d1e9e3 · research / cpdt

09 Dec, 2010 1 commit
- First cut at spellcheck filter · 9864c6c0
  Adam Chlipala authored 14 years ago
  
  9864c6c0
03 Oct, 2008 1 commit
- Templatizing Subset · 13c30b7f
  Adam Chlipala authored 16 years ago
  
  13c30b7f
28 Sep, 2008 1 commit
- Predicates with arguments · c3665e97
  Adam Chlipala authored 16 years ago
  
  c3665e97
13 Sep, 2008 1 commit
- Improve template generation; craft template for InductiveTypes · 3d5b4d1d
  Adam Chlipala authored 16 years ago
  
  3d5b4d1d
05 Sep, 2008 2 commits
- Switch [input_line] to [read_line] · 475c6b74
  Adam Chlipala authored 16 years ago
  
  475c6b74
- Template generation · e450fe0b
  Adam Chlipala authored 16 years ago
  
  e450fe0b