nominal2: File revisions

quotient.ML

Tue, 20 Oct 2009 00:12:05 +0200	Christian Urban	moved the map-info and fun-info section to quotient.ML	file \| diff \| annotate
Sun, 18 Oct 2009 08:44:16 +0200	Christian Urban	slight fix and tuning	file \| diff \| annotate
Sun, 18 Oct 2009 00:52:10 +0200	Christian Urban	the command "quotient" can now define more than one quotient at the same time; quotients need to be separated by and	file \| diff \| annotate
Tue, 13 Oct 2009 00:02:22 +0200	Christian Urban	tuned	file \| diff \| annotate
Mon, 12 Oct 2009 23:39:14 +0200	Christian Urban	slightly modified the parser	file \| diff \| annotate
Mon, 12 Oct 2009 23:16:20 +0200	Christian Urban	deleted diagnostic code	file \| diff \| annotate
Mon, 12 Oct 2009 23:06:14 +0200	Christian Urban	added quotient command (you need to update isar-keywords-prove.el)	file \| diff \| annotate
Mon, 12 Oct 2009 14:30:50 +0200	Christian Urban	started some strange functions	file \| diff \| annotate
Thu, 08 Oct 2009 14:27:50 +0200	Christian Urban	exported parts of QuotMain into a separate ML-file	file \| diff \| annotate

nominal2