From 9b321dff16fd54f662fc9730b97d06afb6b28285 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 27 Apr 2012 09:43:09 -0400 Subject: Ensure proper ordering of