5b465790447d54472837f1084ed3e751c745d0dc |
|
30-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved definition of lifted function spaces and explanation of newtype translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8510 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4e48c487e8797c2a101d15b2fc542d2de4b2246 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
final reading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8509 cec4b9c1-7d33-0410-9eda-942365e851bb |
01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
sections on classes and terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8499 cec4b9c1-7d33-0410-9eda-942365e851bb |
595c8cd83861c439bcf426471c718b101106c967 |
|
18-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
new entries for TPHOL paper
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8399 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4ce6aeba0141bc21a082757b19f6954717d03c4 |
|
20-Sep-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
contains bib entries used in hs2isa.tex
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6953 cec4b9c1-7d33-0410-9eda-942365e851bb |